New
Arrivals/Restock
Modal and Temporal Properties of Processes (Texts in Computer Science)
4.3 (91 items)
Limited Time SaleUntil the end
06
46
21
US$22.47 cheaper than the new price!!
Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Free cash-on-delivery fees for purchases over $99
See all stores
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
Used US$14.98
Product details
| Management number | 231816711 | Release Date | 2026/06/18 | List Price | US$14.98 | Model Number | 231816711 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ASIN | B000WDP4QK |
|---|---|
| XRay | Not Enabled |
| ISBN13 | 978-1475735505 |
| Edition | 2001st |
| Language | English |
| File size | 2.6 MB |
| Page Flip | Not Enabled |
| Publisher | Springer |
| Word Wise | Not Enabled |
| Print length | 203 pages |
| Accessibility | Learn more |
| Part of series | Texts in Computer Science |
| Publication date | March 14, 2013 |
| Enhanced typesetting | Not Enabled |
Bestseller ranking
Canned fruit
Customers who viewed this product also viewed
Distributed Systems & Computing
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form