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
Frames and Other Bases in Abstract and Function Spaces
$129.99
Rechtsfragen des Medizintourismus
$89.99
Usable Privacy and Security in Online Public Services
$54.99
Molecular Pathology of Nervous System Tumors
$84.99
The Viruses
$39.99
House of Lords Reform Since 1911
$39.99
Primary Processes in Photobiology
$54.99
Untersuchungen schneller Lichtbogenverlngerungen fr die Verwendung in Hochspannungsschaltgerten
$59.99
Chefsache Digitale Nachhaltigkeit
$39.99
Advances in Cryptology
$39.99
Manufacturing Systems Design and Analysis
$169.99
Western Hemisphere Trade Integration
$29.99
A Laboratory Guide to In Vitro Transcription
$54.99
Psychologische Diagnostik
$19.99
Forest Policies and Social Change in England
$129.00
Innovative Technology at the Interface of Finance and Operations
$119.00
Bilingual Education and Minority Language Maintenance in China
$54.99
International Handbook of Human Response to Trauma
$139.00
Biocatalysis
$39.99
Democracy and Ethnic Conflict
$84.99
Civil Society and the Professions in Eastern Europe
$84.99
Headway in Spatial Data Handling
$329.99
Beratungs- und Haftungsrisiken in der Unternehmenskrise
$29.99
Pulmonary Immunotoxicology
$169.99
Long Distance Entanglement Between Quantum Memories
$179.99
Dawn of the Light Dragon: A Branches Book (Dragon Masters #24)
$4.49
Open Foresight und Unternehmenskultur
$64.99
Amorphous Solid Dispersions
$219.00
Financial Capability in der Kunde-Bank-Beziehung
$59.99
Rightwing Populism
$59.99
Building Resistance to Stress and Aging
$84.99
Web Information Systems and Technologies
$34.99
Sinn und Inhalt in der Genetischen Phnomenologie E. Husserls
$159.99
Mathematical Modelling of Physical Systems
$139.99
Corporate Social Responsibility and Corporate Governance
$109.99
International Marketing in the Network Economy
$54.99
The Third World War Scare in Britain
$44.99
The Biology of Numbers
$89.00
The International Dimension of Entrepreneurial Decision-Making
$169.99
Research in Cryptology
$39.99
