Modal and Temporal Properties of Processes (Texts in Computer Science)
$37.45
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by academy.access2agile.shop
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
$37.45
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by academy.access2agile.shop
Free 30-day returns Details
Product details
| Management number | 231816711 | Release Date | 2026/06/18 | List Price | $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
Distributed Systems & Computing
Customers who viewed this product also viewed
Elementary
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