Model Checking, Synthesis, and LearningErnst-Rüdiger Olderog
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi · 2021
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
- 2021
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 1
- ISBN
- 9783030913830
Data source: Wikidata