Model Checking, Synthesis, and Learning
Springer Nature Switzerland AG, 2021
79,75 €On orderDelivery: 2-3 weeks
His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.
- ISBN-13
- 9783030913830
- ISBN-10
- 303091383X
- Publisher
- Springer Nature Switzerland AG
- Year
- 2021
- Publication date
- 2021-11-22
- Pages
- 219
- Dimensions
- 234x156x17
- Weight
- 362