ISBN 3540747915 books & textbook
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709)
de Boer, Frank S. Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul
Springer /2007-12-18 Paperback / 308 Pages
isbn-10: 3540747915 / isbn-13: 9783540747918
