|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus 2018 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3030034232 /
9783030034238 | 10/2018 | $52.24 |
|  | Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus 2018 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3030034267 /
9783030034269 | 10/2018 | $52.24 |
|  | Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 2018 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3030034178 /
9783030034177 | 10/2018 | $52.24 |
|  | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3662452308 /
9783662452301 | 10/2014 | $52.24 |
|  | Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3662452332 /
9783662452332 | 10/2014 | $52.24 |
|  | Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem 2018 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3030034208 /
9783030034207 | 10/2018 | $52.24 |
|  | Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15- 2012 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3642340318 /
9783642340314 | 09/2012 | $52.24 |
|  | Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15- 2012 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3642340253 /
9783642340253 | 09/2012 | $52.24 |
|  | Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20 2016 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3319471686 /
9783319471686 | 10/2016 | $52.24 |
|  | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co 2016 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3319471651 /
9783319471655 | 10/2016 | $104.49 |
|  | Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15, 2008 Edition (Communications in Computer and Information Science) | Margaria, Tiziana | Paperback | 3540884785 /
9783540884781 | 10/2008 | $161.49 |
|  | Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion, (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3642165605 /
9783642165603 | 10/2010 | $52.24 |
|  | Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion (Lecture Notes in Computer Science / Theoretical Computer Sci) | Margaria, Tiziana | Paperback | 3642165575 /
9783642165573 | 10/2010 | $104.49 |
|
|
|