Dependability and Computer Engineering: Concepts for Software-Intensive Systems
by
ISBN 13: 9781609607470
Format: Hardcover (515 pages) Publisher: Information Science Reference Published: 30 Apr 2011
Save for later
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.: 2335 (Lecture Notes in Computer Science)
by Michael Butler,Kaisa Sere,Luigia Petre
ISBN 13: 9783540437031
Format: Paperback (416 pages) Publisher: Springer Published: 02 May 2002
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings: 7940 (Lecture Notes in Computer Science)
by Einar Broch Johnsen,Luigia Petre
ISBN 13: 9783642386121
Format: Paperback (460 pages) Publisher: Springer Published: 24 May 2013