Yamine Ait Ameur
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Yamine Ait Ameur, Klaus-Dieter Schewe · 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 AmazonBook details
- Year
- 2014
- Language
- English
- Publisher
- Springer
- Editions
- 3
- Pages
- 336
- ISBN
- 9783662436523
Data source: Wikidata