Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings: 4037 (Lecture Notes in Computer Science)
by Roberto Gorrieri,Heike Wehrheim
ISBN 13: 9783540348931
Format: Paperback (280 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Fundamental Approaches to Software Engineering
by Heike Wehrheim,Jordi Cabot
ISBN 13: 9781013277160
Format: Paperback (560 pages) Publisher: Saint Philip Street Press Published: 09 Oct 2020