The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New StefaniaGnesi Books

Results for StefaniaGnesi

Showing 1 to 3 of 3 results
Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and ... 8411 (Lecture Notes in Computer Science) Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and ... 8411 (Lecture Notes in Computer Science) by Stefania Gnesi, Arend Rensink

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and ... 8411 (Lecture Notes in Computer Science)

by Stefania Gnesi, Arend Rensink


ISBN 13: 9783642548031

Format: Paperback (448 pages)
Publisher: Springer
Published: 17 Mar 2014

Save for later

 
New : $65.18  
New : $65.18
FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science) FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science) by Keijiro Araki, Stefania Gnesi, Dion Mandrioli

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science)

by Keijiro Araki, Stefania Gnesi, Dion Mandrioli


ISBN 13: 9783540408284

Format: Paperback (964 pages)
Publisher: Springer
Published: 27 Aug 2003

Save for later

 
New : $127.55  
New : $127.55
Critical Systems: Formal Methods and Automated Verification: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal ... 9933 (Lecture Notes in Computer Science) Critical Systems: Formal Methods and Automated Verification: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal ... 9933 (Lecture Notes in Computer Science) by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

Critical Systems: Formal Methods and Automated Verification: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal ... 9933 (Lecture Notes in Computer Science)

by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp


ISBN 13: 9783319459424

Format: Paperback (264 pages)
Publisher: Springer
Published: 14 Sep 2016

Save for later

 
New : $53.70  
New : $53.70