Data & IT
Model Checking
Edmund M Clarke Jr • Orna Grumberg • Daniel Kroening • Doron Peled • Helmut Veith
Klotband
1119:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
- Format: Klotband
- ISBN: 9780262038836
- Språk: Engelska
- Antal sidor: 424
- Utgivningsdatum: 2018-12-04
- Förlag: MIT Press Ltd