
Concrete Abstractions
- Alaotsikko
- Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
- Kirjailija
- Schreiner Wolfgang Schreiner
- ISBN
- 9783031249358
- Kieli
- englanti
- Paino
- 403 grammaa
- Julkaisupäivä
- 12.4.2023
- Kustantaja
- Springer Nature B.V.
- Sivumäärä
- 284