booktheque

Model Checking Software

Vincenzo Ciancia, Arnd Hartmanns · 2026

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
2026
Language
English
Publisher
Springer
Editions
1
Pages
120
ISBN
9783032356376

Data source: Wikidata