Model Checking
Inbunden, Engelska, 2018
Av Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled, Helmut (Technische Universitaet Darmstadt) Veith, Edmund M. Clarke
1 079 kr
Beställningsvara. Skickas inom 11-20 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum2018-12-04
- Mått178 x 229 x 27 mm
- Vikt828 g
- FormatInbunden
- SpråkEngelska
- SerieCyber Physical Systems Series
- Antal sidor424
- Upplaga2
- FörlagMIT Press Ltd
- ISBN9780262038836