booktheque

Formal Methods for Industrial Critical Systems

Stefan Leue, Pedro Merino · 2008

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
2008
Language
English
Publisher
Springer London, Limited
Editions
1
ISBN
9783540797074

Data source: Wikidata

More by Stefan Leue

Model checking software
Stefan Leue · 2002
Scenarios : Models, Transformations and Tools
Stefan Leue · 2005