|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Formal Methods for Industrial Critical Systems: 13th International Workshop, Fmics 2008, l'Aquila, Italy, September 15-16, 2008, Revised Selected Pape 2009 Edition (Lecture Notes in Computer Science) | Cofer, Darren | Paperback | 3642032397 / 9783642032394 | 07/2009 | $52.24 |
| | Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-Based Dist 1999 Edition (International Federation for Information Processing) | Ciancarini, Paolo | Hardcover | 0792384296 / 9780792384298 | 02/1999 | $208.99 |
| | Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-Based Dist Softcover Repri Edition (IFIP Advances in Information and Communication Technology) | Ciancarini, Paolo | Paperback | 1475752660 / 9781475752663 | 01/2013 | $208.99 |
| | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, Rssrail 2 2017 Edition | Fantechi, Alessandro | Paperback | 3319684981 / 9783319684987 | 10/2017 | $52.24 |
| | Software Engineering for Resilient Systems: 7th International Workshop, Serene 2015, Paris, France, September 7-8, 2015. Proceedings 2015 Edition (Lecture Notes in Computer Science) | Fantechi, Alessandro | Paperback | 3319231286 / 9783319231280 | 08/2015 | $42.74 |
|
|
|