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
Komplikationsmanagement in der Chirurgie
$179.99
Soziale Probleme und soziale Kontrolle
$59.99
Safety with Lasers and Other Optical Sources
$169.00
The Palgrave Handbook of Religion and State Volume I
$249.99
SAGA Advances in ShApes, Geometry, and Algebra
$54.99
New World Tarantulas
$199.99
Kinderliteratur, Kanonbildung und literarische Wertung
$79.99
Sprache und Wissen
$44.99
Introduction to Hamiltonian Dynamical Systems and the N-Body Problem
$99.99
Macroeconomics of Monetary Union
$84.99
Trends in Nanophysics
$129.00
Shield Tunnel Cutter Replacement Technology
$159.99
The Baby-sitters Club Graphic Novels #1-7: A Graphix Collection: Full Color Edition
$76.93
Home Informatics and Telematics: ICT for the Next Billion
$109.99
Cool Stars, Stellar Systems and the Sun
$74.99
Renewable Energy: Problems and Prospects in Coachella Valley, California
$44.99
Metadiscourse in Digital Communication
$69.99
Strategische Partnerschaften Mehr Erfolg mit dem neuen Partnering-Ansatz
$59.99
Beginning C# Objects
$39.99
Transnational Networks in Regional Integration
$54.99
Cardiovascular 3D Printing
$84.99
The Last Firehawk, Books 1-5: A Branches Box Set
$22.46
Autoimmune Bullous Diseases
$89.99
Durch die Krise fhren
$17.99
Constructing 21st Century U.S. Foreign Policy
$109.99
Analysis IV
$39.99
Kinetics and Dynamics
$259.00
Vertriebscoaching
$39.99
Growth Processes and Surface Phase Equilibria in Molecular Beam Epitaxy
$84.99
1948 (Exploring Civil Rights: The Beginnings)
$8.99
Toward Software Defined Radio Receiver Front-Ends
$64.99
History and Evolution of Concepts in Physics
$39.99
Integrierte Abfallwirtschaft
$69.95
Fly Guy Presents Grades PreK-2
$29.00
Lieferserviceorientierte Distributionslogistik
$49.99
The United States, China and Southeast Asian Security
$109.99
A Variational Inequality Approach to free Boundary Problems with Applications in Mould Filling
$109.99
Unmanned Combat Air Systems in Future Warfare
$109.99
Differential Linear Matrix Inequalities
$129.99
Just Discovered Mammals (Learn About: Animals)
$5.24
