booktheque

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

Tiziana Margaria, Bernhard Steffen · 2014

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2014
Language
English
Publisher
Springer Berlin / Heidelberg
Editions
2
Pages
644
ISBN
9783662452301

Data source: Wikidata

More by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
Tiziana Margaria · 2016
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
Tiziana Margaria · 2016
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria · 2012
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium
Tiziana Margaria · 2024
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Tiziana Margaria · 2022
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Tiziana Margaria · 2022
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Tiziana Margaria · 2022
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends
Tiziana Margaria · 2021
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles
Tiziana Margaria · 2020
Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles
Tiziana Margaria · 2020