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

Buy Used and New SusanneGraf Books

Results for SusanneGraf

Showing 1 to 4 of 4 results
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures: 3657 (Lecture Notes in Computer Science) Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures: 3657 (Lecture Notes in Computer Science) by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures: 3657 (Lecture Notes in Computer Science)

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf


ISBN 13: 9783540291312

Format: Paperback (338 pages)
Publisher: Springer
Published: 19 Sep 2005

Save for later

 
New : $74.55  
New : $74.55
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th ... J: 9039 (Lecture Notes in Computer Science) Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th ... J: 9039 (Lecture Notes in Computer Science) by Susanne Graf, Mahesh Viswanathan

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th ... J: 9039 (Lecture Notes in Computer Science)

by Susanne Graf, Mahesh Viswanathan


ISBN 13: 9783319191942

Format: Paperback (260 pages)
Publisher: Springer
Published: 13 May 2015

Save for later

 
New : $65.32  
New : $65.32
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures: 4111 (Lecture Notes in Computer Science) Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures: 4111 (Lecture Notes in Computer Science) by Frank S. de Boer, Susanne Graf, Marcello M. Bonsangue, Willem-Paul de Roever

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures: 4111 (Lecture Notes in Computer Science)

by Frank S. de Boer, Susanne Graf, Marcello M. Bonsangue, Willem-Paul de Roever


ISBN 13: 9783540367499

Format: Paperback (444 pages)
Publisher: Springer
Published: 27 Jun 2008

Save for later

 
New : $92.82  
New : $92.82
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings: 4218 (Lecture Notes in Computer Science) Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings: 4218 (Lecture Notes in Computer Science) by Susanne Graf, Wenhui Zhang

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings: 4218 (Lecture Notes in Computer Science)

by Susanne Graf, Wenhui Zhang


ISBN 13: 9783540472377

Format: Paperback (560 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $105.66  
New : $105.66