|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings 2012 Edition | Derrick, John | Paperback | 3642308848 /
9783642308840 | 06/2012 | $52.24 |
|  | 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 |
|  | FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Fitzgerald, John | Paperback | 3319489887 /
9783319489889 | 11/2016 | $52.24 |
|  | Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Araki, Keijiro | Paperback | 3540408282 /
9783540408284 | 08/2003 | $104.49 |
|  | Formal Methods for Industrial Critical Systems: A Survey of Applications | Gnesi, Stefania | Paperback | 0470876182 /
9780470876183 | 12/2012 | $100.65 |
|  | Fundamental Approaches to Software Engineering: 17th International Conference, Fase 2014, Held as Part of the European Joint Conferences on Theory and 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Gnesi, Stefania | Paperback | 3642548032 /
9783642548031 | 03/2014 | $52.24 |
|  | Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings 2012 Edition | Derrick, John | Paperback | 3642307280 /
9783642307287 | 06/2012 | $52.24 |
|
|
|