ISBN 3642041663 books & textbook
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science, 5751)
Bonsangue, Marcello M. Madelaine, Eric
Springer /2009-09-07 Paperback / 309 Pages
isbn-10: 3642041663 / isbn-13: 9783642041662
