Principles of Model Checking
Inbunden, Engelska, 2008
Av Christel Baier, Joost-Pieter Katoen, Christel (Technische Universitat Dresden) Baier, Joost-Pieter (RWTH Aachen University) Katoen
1 009 kr
Tillfälligt slut
Produktinformation
- Utgivningsdatum2008-04-25
- Mått203 x 254 x 33 mm
- Vikt1 882 g
- FormatInbunden
- SpråkEngelska
- SeriePrinciples of Model Checking
- Antal sidor984
- FörlagMIT Press Ltd
- MedarbetareLarsen,KimGuldstrand
- ISBN9780262026499