Publisher's Synopsis
Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Paperback (26 Nov 2021)
Not available for sale
Includes delivery to the United States
Out of stock
Check stock
Book information
| ISBN: | 9783030913854 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 26 Nov 2021 |
| Language: | English |
| Number of pages: | 232 |
| Weight: | 332g |
| Height: | 234mm |
| Width: | 156mm |
