|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, Uk, Septem 2001 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3540425411 / 9783540425410 | 08/2001 | $52.24 |
| | Formal Methods for Industrial | Gnesi | Paperback | 0470876182 / 9780470876183 | 12/2012 | $100.65 |
| | 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 |
| | Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of 2012 Edition (Communications in Computer and Information Science) | Hähnle, Reiner | Paperback | 3642347800 / 9783642347801 | 10/2012 | $52.24 |
| | Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday 2019 Edition | Margaria, Tiziana | Paperback | 3030223477 / 9783030223472 | 06/2019 | $52.24 |
| | Process Design for Natural Scientists: An Agile Model-Driven Approach 2014 Edition (Communications in Computer and Information Science) | Lamprecht, Anna-Lena | Paperback | 3662450054 / 9783662450055 | 10/2014 | $52.24 |
| | Semantic Web Services Challenge: Results from the First Year 2009 Edition (Semantic Web and Beyond: Computing for Human Experience) | Petrie, Charles J. | Hardcover | 0387724958 / 9780387724959 | 12/2008 | $161.49 |
| | Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond) | Petrie, Charles J. | Paperback | 1441944400 / 9781441944405 | 11/2010 | $160.55 |
| | Service-Oriented Computing - ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Bouguettaya, Athman | Paperback | 3540896473 / 9783540896470 | 11/2008 | $104.49 |
| | Services and Visualization: Towards User-Friendly Design: Acos'98, Visual'98, Ain'97, Selected Papers 1998 Edition (Lecture Notes in Computer Science) | Margaria, Tiziana | Paperback | 3540643672 / 9783540643678 | 03/1998 | $52.24 |
| | Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007 Proceedings 2007 Edition (Lecture Notes in Computer Science) | Abrahamsson, Pekka | Paperback | 3540747656 / 9783540747659 | 09/2007 | $52.24 |
| | Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe 2017 Edition (Lecture Notes in Computer Science) | Legay, Axel | Paperback | 3662545799 / 9783662545799 | 03/2017 | $52.24 |
| | Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe 2017 Edition (Lecture Notes in Computer Science) | Legay, Axel | Paperback | 3662545764 / 9783662545768 | 03/2017 | $52.24 |
|
|
|