Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: 2804 (Lecture Notes in Computer Science)
by Marco Bernardo,Paola Inverardi
ISBN 13: 9783540200833
Format: Paperback (296 pages) Publisher: Springer Published: 13 Jun 2008
Save for later