
Concrete Abstractions
- Undertittel
- Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
- Forfatter
- Schreiner Wolfgang Schreiner
- ISBN
- 9783031249358
- Språk
- Engelsk
- Vekt
- 403 gram
- Utgivelsesdato
- 12.4.2023
- Forlag
- Springer Nature B.V.
- Antall sider
- 284
