Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
1097,-
Innbundet
Sendes innen 21 dager
Logg inn for å se din bonus
Detaljer
- Forlag
- Springer International Publishing AG
- Innbinding
- Innbundet
- Språk
- Engelsk
- Sider
- 271
- ISBN
- 9783031249334
- Utgivelsesår
- 2023
- Format
- 24 x 16 cm
Medlemmers vurdering
Skriv en vurdering
Oppdag mer
Bøker som ligner på Concrete Abstractions:
Ny!