Inbunden, Engelska, 2018
Model Checking
Av Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Del i serien Cyber Physical Systems Series
726 kr
Tillfälligt slut
Beskrivning
Produktinformation
- Utgivningsdatum: 2018-12-04
- Mått: 178 x 229 x 27 mm
- Vikt: 828 g
- Format: Inbunden
- Språk: Engelska
- Serie: Cyber Physical Systems Series
- Antal sidor: 424
- Upplaga: 2
- Förlag: MIT Press Ltd
- ISBN: 9780262038836
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.