Leveraging Applications of Formal Methods, Verification and Validation

Loading edition detail...

Preparing this view.

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen

Bookitis Pick

Cover for Leveraging Applications of Formal Methods, Verification and Validation

Image source: Open Library

Tiziana Margaria, Bernhard SteffenPublished Sep 11, 2012cover on file

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer
Pages	633
Format	paperback
Search language	english
ISBN_10	3-642-34025-3 primary
ISBN_13	978-3-642-34025-3 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

Leveraging Applications of Form...Tiziana Margaria, Bernhard Steffen
LA
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen | Springer International Publishing AG | 2021
Leveraging Applications of Form...Tiziana Margaria, Bernhard Steffen, Maik Merten
LA
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen, Maik Merten | Springer Berlin / Heidelberg | 2012
Leveraging Applications of Form...Tiziana Margaria, Bernhard Steffen
LA
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen | Springer London, Limited | 2008