ISBN 9783540921875 books & textbook
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science, 5382)
Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul
Springer /2008-12-01 Paperback / 323 Pages
isbn-10: 3540921877 / isbn-13: 9783540921875
