Maurice H. Ter Beek
Critical Systems : Formal Methods and Automated Verification
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 AmazonBook details
- Year
- 2016
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 1
- Pages
- 247
- ISBN
- 9783319459424
Data source: Wikidata