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
and Beyond Wireless Systems
$199.99
Current Advances in the Science of Osteosarcoma
$129.00
Sinn und Inhalt in der Genetischen Phnomenologie E. Husserls
$59.99
Kultur, Gesellschaft, Migration
$74.99
Advances in Complex Electromagnetic Materials
$219.99
Self-Leadership und Fhrung
$34.99
Performance Management Success
$49.99
Migration from Nigeria and the Future of Global Security
$159.99
Polymer Technology in Dye-containing Wastewater
$129.99
Reviews on New Drug Targets in Age-Related Disorders
$169.99
Introduction to Coding Theory
$69.99
Algebra for Symbolic Computation
$54.99
Pathogenesis and Treatment of Leukemia
$169.00
Complexity Economics
$119.00
Robust and Distributed Hypothesis Testing
$84.99
Praxisorientierte Einfhrung in die Allgemeine Betriebswirtschaftslehre
$44.99
Wilms Tumor: Clinical and Molecular Characterization
$39.99
Translational Research in Audiology, Neurotology, and the Hearing Sciences
$159.99
Psychologie als Gesellschaftswissenschaft
$59.99
Ergnzungen und Vertiefungen zu Mathematik
$29.99
Peasants, Culture and Indigenous Peoples
$54.99
100 Rezepte fr Excel 4.0
$59.99
Nachhaltigkeit, Ordnungspolitik und freiwillige Selbstverpflichtung
$59.99
Mutant p53 and MDM2 in Cancer
$169.99
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
$39.99
Discovery Science
$89.99
Multi-Carrier Spread-Spectrum & Related Topics
$109.99
Government Deficit and Fiscal Reform in Japan
$109.99
Werkstoffkunde und Werkstoffprfung
$84.99
I Love You, Little Monster!
$5.99
Das Kalt-Biegen von Rohren
$69.99
Umgang mit Schimmelbefall in Innenrumen und Manahmen zur Vermeidung
$17.99
Design of Control Systems for DC Drives
$109.99
Rolls-Royce
$169.99
Introduction to Cyberdeception
$59.99
The Geology of Iberia: A Geodynamic Approach
$179.99
Harmonisierung der Rechnungslegung in Europa
$59.99
Grundzge der praktischen Pharmazie
$59.99
Nanofabrication
$54.99
Stochastic Analysis in Discrete and Continuous Settings
$39.99
