Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Systems and Software Verification
Best Price (Coupon Required):
Buy Systems and Software Verification for $107.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$119.00 | $119.00 |
|
10% OFF
This deals requires coupon
|
$107.10 | See Site | In stock | Visit Store |
Product Details
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
Reviews
Questions & Answers
Londons Working-Class Youth and the Making of Post-Victorian Britain, 19581971
$119.00
Vascular Neurology Board Review
$89.00
The Right to be King
$74.99
Efficient Branch and Bound Search with Application to Computer-Aided Design
$109.99
Genetic Engineering 3
$39.99
Prozessautomatisierung 2
$69.99
Natural Heritage from East to West
$84.99
Cardiac Gene Therapy
$109.99
Practical Urology in Spinal Cord Injury
$54.99
Synchronization in Infinite-Dimensional Deterministic and Stochastic Systems
$109.00
Entwurf aktiver Analogsysteme
$79.99
From Fossil Fuels to Low Carbon Energy Transition
$119.99
Advances in Electronic Circuit Packaging
$54.99
Lebesgue and Sobolev Spaces with Variable Exponents
$99.99
Artificial Intelligence and Image Analysis
$64.99
Die Flschung des Realismus
$19.99
Ecology of World Vegetation
$169.99
Regionalisierung und interkommunale Zusammenarbeit
$44.99
Introduction to the Thermomechanics of Continua and Hyperbolic Systems
$109.99
Progressive Relaxation
$39.99
Don't Let In the Cold by Keely Parrack
$10.99
Oceans and the Atmospheric Carbon Content
$84.99
Interkulturelle Handlungskompetenz
$39.99
Domestication of Radiata Pine
$189.00
Pdiatrische Notfall- und Intensivmedizin
$44.99
Long Non Coding RNA Biology
$199.99
Emergence, Analysis and Evolution of Structures
$169.99
Politische Konfliktlinien, individualistische Werte und politischer Protest
$59.99
Green Bio-processes
$169.99
Histological Typing of Intestinal Tumours
$109.99
Rntgenfluoreszenzanalytische Methoden
$119.00
Dynamical Properties of Baryon Resonances in the Holographic QCD
$99.00
The Social Psychology of English as a Global Language
$84.99
Sexuelle Verwahrlosung
$39.99
Social Network Analysis in Action
$199.99
Open Mesencephalotomy and Thalamotomy for Intractable Pain
$39.99
Koordinaten-Geometrie
$69.95
Design and Operation of Automated Container Storage Systems
$169.99
Cozy Corner Theme 8: Splish! Splash! Social Development: Sharing
$109.99
Libertarian Autobiographies
$199.99
