HARDCOVER, 2018
Model Checking
Av Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
726 kr
Tillfälligt slut i lager
Beskrivning
Produktinformation
- Utgivningsdatum: 2018-12-04
- Format: HARDCOVER
- Antal sidor: 424
- Förlag: MIT Press Ltd
- ISBN: 9780262038836
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.