ISBN 3642358861 books & textbook
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
