
Abstract State Machines
- Alaotsikko
- Informatik, Operationelle Semantik, Algorithmus, Endlicher Automat, Übersetzerbau, Semantik, Verifizierung
- ISBN
- 9786130515805
- Kieli
- saksa
- Paino
- 137 grammaa
- Julkaisupäivä
- 6.3.2026
- Kustantaja
- OmniScriptum
- Sivumäärä
- 80