Skip to main content alibris logo

Tiziana Margaria

Tiziana Margaria's Featured Books

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV Leveraging Applications of...

Buy from $22.72
eBook from $21.00

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV Leveraging Applications of...

Buy from $51.65
eBook from $16.50

Leveraging Applications of Formal Methods, Verification, and Validation Leveraging Applications of...

Buy from $81.67
eBook from $16.50

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I Leveraging Applications of...

Buy from $51.65
eBook from $16.50

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday Models, Mindsets, Meta: The...

Buy from $51.65
eBook from $16.50

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I Leveraging Applications of...

Buy from $51.65

Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings Correct Hardware Design and...

Buy from $51.65
eBook from $16.50

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISOLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I Leveraging Applications of...

Buy from $103.32
eBook from $29.70

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings Leveraging Applications of...

Buy from $65.00

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings Tools and Algorithms for the...

Buy from $30.60
eBook from $29.70

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, Isola 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II Leveraging Applications of...

Buy from $51.65
eBook from $16.50

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I Leveraging Applications of...

Buy from $51.65
eBook from $16.50

Services and Visualization: Towards User-Friendly Design: Acos'98, Visual'98, Ain'97, Selected Papers Services and Visualization:...

Buy from $48.95

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Proceedings. Tools and Algorithms for the...

Buy from $6.34

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II Leveraging Applications of...

Buy from $75.14
eBook from $24.00

Formal Methods for Industrial Critical Systems: A Survey of Applications Formal Methods for Industrial...

Buy from $85.37

Semantic Web Services Challenge: Results from the First Year Semantic Web Services...

Buy from $53.43
eBook from $47.70

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I Leveraging Applications of...

Buy from $51.65
eBook from $16.50

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III Leveraging Applications of...

Buy from $75.14
eBook from $24.00

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III Leveraging Applications of...

Buy from $51.65
eBook from $16.50

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV Leveraging Applications of...

Buy from $51.65
eBook from $16.50

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II Leveraging Applications of...

Buy from $51.65
eBook from $16.50

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings Leveraging Applications of...

Buy from $75.14
eBook from $24.00

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I Leveraging Applications of...

Buy from $51.65
eBook from $16.50

  1. < Prev
  2. 1
  3. 2
  4. Next >