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