Sell, buy or rent Frank S. de Boer textbooks

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

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

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
ISBN-13: 9783540367499
ISBN-10: 3540367497
Edition: 2006
Publisher: Springer
Format: Paperback 437 pages
Sell Shop now at Amazon
9783540229421-3540229426-Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science, 3188)
9783540229421-3540229426-Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science, 3188)

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science, 3188)

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
ISBN-13: 9783540229421
ISBN-10: 3540229426
Edition: 2004
Publisher: Springer
Format: Paperback 379 pages
Sell Shop now at Amazon eBook from $16.50
9781848827448-184882744X-Verification of Sequential and Concurrent Programs (Texts in Computer Science)
9781848827448-184882744X-Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

by Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
ISBN-13: 9781848827448
ISBN-10: 184882744X
Edition: 3rd ed. 2009
Publication date: 2009
Publisher: Springer
Format: Hardcover 526 pages
Sell Buy from $101.58
9783642170706-3642170706-Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Lecture Notes in Computer Science, 6286)
9783642170706-3642170706-Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Lecture Notes in Computer Science, 6286)

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Lecture Notes in Computer Science, 6286)

by Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
ISBN-13: 9783642170706
ISBN-10: 3642170706
Edition: 2010
Publication date: 2011
Publisher: Springer
Format: Paperback 349 pages
Sell Buy from $52.73 eBook from $16.50
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.