Del i serien Texts in Computer Science
Modal and Temporal Properties of Processes
Häftad, Engelska, 2011
699 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
Produktinformation
- Utgivningsdatum2011-10-09
- Mått178 x 254 x 12 mm
- Vikt395 g
- FormatHäftad
- SpråkEngelska
- SerieTexts in Computer Science
- Antal sidor191
- FörlagSpringer-Verlag New York Inc.
- ISBN9781441931535
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
- Signerad
Del 1
Del 1
- Nyhet
- Nyhet
Del 2
- Nyhet
- Nyhet
Del 6
- Nyhet
Del 5
- Nyhet
Del 1
- Nyhet
Del 3