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