Buy Used and New Dimitra Giannakopoulou Books

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings: 7436 (Lecture Notes in Computer Science)

by Dimitra Giannakopoulou,Dominique Mery

ISBN 13: 9783642327582

Format: Paperback (504 pages)
Publisher: Springer
Published: 21 Jul 2012

Save for later

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)

by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou

ISBN 13: 9783030557539

Format: Paperback (463 pages)
Publisher: Springer
Published: 09 Aug 2020

Save for later