|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 1 2016 Edition (Lecture Notes in Computer Science) | Ter Beek, Maurice H. | Paperback | 3319459422 /
9783319459424 | 09/2016 | $52.24 |
|  | Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings 2019 Edition (Lecture Notes in Computer Science) | Ter Beek, Maurice H. | Paperback | 303030941X /
9783030309411 | 09/2019 | $52.24 |
|  | Web Services and Formal Methods: 9th International Workshop, Ws-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Ter Beek, Maurice H. | Paperback | 3642382290 /
9783642382291 | 04/2013 | $47.49 |
|
|
|