Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings
by Michael Leuschel, Heike Wehrheim
ISBN 13: 9783642002540
Format: Paperback (367 pages) Publisher: Springer Published: 02 Feb 2009
Save for later
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)
by Marco Bernardo
ISBN 13: 9783540724827
Format: Illustrated (484 pages) Publisher: Springer Published: 28 Jun 2007
Managing the Software Enterprise: Software Engineering and Information Systems in Context
by Pat Hall,Juan Fernandez-Ramil
ISBN 13: 9781844803545
Format: Paperback (456 pages) Publisher: Cengage Learning EMEA Published: 30 Jan 2007
Architecting Dependable Systems VI (Lecture Notes in Computer Science / Programming and Software Engineering)
by Rogerio de Lemos,Jean-Charles Fabre,Cristina Gacek,Fabio Gadducci,Maurice H. ter Beek
ISBN 13: 9783642102479
Format: Paperback (348 pages) Publisher: Springer Published: 02 Nov 2009
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
by Ana Cavalcanti,Dennis Dams
ISBN 13: 9783642050886
Format: Paperback (840 pages) Publisher: Springer Published: 26 Oct 2009