ISBN 9783540200833 books & textbook
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... (Lecture Notes in Computer Science, 2804)
Bernardo, Marco Inverardi, Paola
Springer /2003-09-12 Paperback / 296 Pages
isbn-10: 3540200835 / isbn-13: 9783540200833
