de Boer, Frank S. books & textbook
Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings (Theoretical Computer Science and General Issues)
Baeten, Jos C.M. Ball, Tom de Boer, Frank S.
Springer /2012-08-18 Paperback / 403 Pages
isbn-10: 3642334741 / isbn-13: 9783642334740
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering)
Beckert, Bernhard Damiani, Ferruccio de Boer, Frank S. Bonsangue, Marcello M.
Springer /2013-01-03 Paperback / 366 Pages
isbn-10: 3642358861 / isbn-13: 9783642358869
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Apt, Krzysztof R. de Boer, Frank S. Olderog, Ernst-Rüdiger Pnueli, Amir
Springer /2009-10-05 Hardcover / 526 Pages
isbn-10: 184882744X / isbn-13: 9781848827448
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering)
Giachino, Elena Hähnle, Reiner de Boer, Frank S. Bonsangue, Marcello M.
Springer /2013-08-26 Paperback / 250 Pages
isbn-10: 3642406149 / isbn-13: 9783642406140
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science, 6957)
Aichernig, Bernhard K. de Boer, Frank S. Bonsangue, Marcello M.
Springer /2011-12-12 Paperback / 400 Pages
isbn-10: 3642252702 / isbn-13: 9783642252709
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709)
de Boer, Frank S. Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul
Springer /2007-12-18 Paperback / 308 Pages
isbn-10: 3540747915 / isbn-13: 9783540747918
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)
de Boer, Frank S. Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul
Springer /2006-08-10 Paperback / 437 Pages
isbn-10: 3540367497 / isbn-13: 9783540367499
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science, 3657)
de Boer, Frank S. Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul
Springer /2005-09-19 Paperback / 336 Pages
isbn-10: 3540291318 / isbn-13: 9783540291312
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)
Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul
Springer /2004-10-27 Paperback / 379 Pages
isbn-10: 3540229426 / isbn-13: 9783540229421
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science, 2852)
Boer, Frank S.de Bonsangue, Marcello Graf, Susanne de Roever, Willem-Paul
Springer /2003-10-09 Paperback / 520 Pages
isbn-10: 3540203036 / isbn-13: 9783540203032
