Books by Tiziana Margaria; Bernhard Steffen
buono compares new and used prices for 23 books by Tiziana Margaria; Bernhard Steffen across European bookshops. The cheapest new one is Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI at £34.99. Prices checked 3 Nov 2026
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Tiziana Margaria; Bernhard Steffen
new from £59.99
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Tiziana Margaria; Bernhard Steffen
new from £35.99
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Tiziana Margaria; Bernhard Steffen
new from £35.99
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Tiziana Margaria; Bernhard Steffen
new from £35.99
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria; Bernhard Steffen
new from £35.99
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Tiziana Margaria; Bernhard Steffen
new from £35.99
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Tiziana Margaria; Bernhard Steffen
new from £55.99
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Tiziana Margaria; Bernhard Steffen
new from £51.99
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Tiziana Margaria; Bernhard Steffen
new from £59.99
Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI
Tiziana Margaria; Bernhard Steffen
new from £34.99
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems
Tiziana Margaria; Bernhard Steffen
new from £34.99
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Tiziana Margaria; Bernhard Steffen
new from £47.99
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Tiziana Margaria; Bernhard Steffen
new from £47.99
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Tiziana Margaria; Bernhard Steffen
new from £55.99
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma; W. Rance Cleaveland; Kim G. Larsen; Tiziana Margaria; Bernhard Steffen
new from £35.99
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Tiziana Margaria; Bernhard Steffen
new from £35.99
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Tiziana Margaria; Bernhard Steffen
new from £43.99
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Tiziana Margaria; Bernhard Steffen
new from £35.99
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Tiziana Margaria; Bernhard Steffen
new from £35.99
Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts
Tiziana Margaria; Bernhard Steffen
new from £34.99
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Tiziana Margaria; Bernhard Steffen
new from £44.99
Services and Visualization: Towards User-Friendly Design
Tiziana Margaria; Bernhard Steffen; Roland Rückert; Joachim Posegga
new from £35.99
Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems
Tiziana Margaria; Bernhard Steffen
new from £34.99
Some links here are affiliate links: if you buy, buono may earn a commission. It never changes the price you pay.