Model Checking SoftwareDragan Bošnački
Model Checking Software
Dragan Bošnački, Anton Wijs · 2024
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
- 2024
- Language
- English
- Publisher
- Springer
- Editions
- 3
- Pages
- 260
- ISBN
- 9783031661488
Data source: Wikidata