Spin Model CheckerGerard Holzmann
Spin Model Checker
Gerard Holzmann · 2003
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2003
- Language
- English
- Publisher
- Pearson Education, Limited
- Editions
- 1
- Pages
- 608
- ISBN
- 9780321773715
Data source: Wikidata