Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
₹4,252
Principles of Model Checking
by Christel Baier, Joost-Pieter Katoen
The MIT Press · 2008 · Hardcover
₹7,769
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Principles of Model Checking is written by Christel Baier & Joost-Pieter Katoen. This hardcover edition from The MIT Press (2008) has 984 pages.
The book deals with Computer systems, Verification, Computer software and Systems software.
Book details
- ISBN-13
- 9780262026499
- ISBN-10
- 026202649X
- Authors
- Christel Baier, Joost-Pieter Katoen
- Publisher
- The MIT Press
- Published
- 2008
- Edition
- Illustrated
- Binding
- Hardcover
- Pages
- 984
- Language
- English
- Condition
- New
- Subject
- Computer Books: Languages
More by Christel Baier and related titles
Sas 9.1 Output Delivery System User's Guide
SAS Publishing
₹3,454
Handbook of Exact String Matching Algorithms by Christian Charras – Programming Reference
Christian Charras, Thierry Lecroq
₹2,026
Six Sigma Software Development by Christine B. Tayntor – Software Quality
Christine B. Tayntor
₹4,706
Designing Visual Basic.Net Applications (Little Black Books (Paraglyph Press))
David Vitter
₹3,417
Functional Programming, Glasgow 1993
John T. O'Donnell
₹3,563
Flexible Software Design
Bruce Johnson, Robert Miller, Cindy Johnson, Walter W. Woolfolk
₹12,155
Programming Languages and Systems
David Schmidt
₹5,481
Fsttcs 2004
Kamal Lodaya, Meena Mahajan
₹5,838
An Introduction to Parallel and Vector Scientific Computation
Ronald W. Shonkwiler, Lew Lefton, M. J. Ablowitz
₹4,831
Compiler Construction
Stefan Jähnichen
₹5,532
Model-Driven Architecture in Practice
Oscar Pastor, Juan Carlos Molina
₹3,586