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
Topological Phases in Condensed Matter Physics
$84.99
Theory of Computing and Systems
$39.99
Incomplete Information and Heterogeneous Beliefs in Continuous-time Finance
$219.99
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2013
$54.99
The Experience Logic as a New Perspective for Marketing Management
$129.00
Game Theory as a Theory of Conflict Resolution
$109.99
Mathematik fr konomen
$29.99
ReView
$39.99
Practical Methods in Molecular Biology
$84.99
Degradable Polymers
$219.99
Czech Women Philosophers and Scientists
$54.99
Cuba in the Multipolar World Order
$139.99
Constructive Side-Channel Analysis and Secure Design
$39.99
Advances in Cancer Biomarkers
$169.99
Showrooming im stationren Einzelhandel
$69.99
The Unknowable
$179.99
My Books Summer & Summer Express Workbook Grade 3 Nonfiction 5-Pack
$35.95
Diskrete Optimierung
$59.99
New Loss Prevention
$129.99
Data Science Fundamentals for Python and MongoDB
$34.99
Statical and Geomechanical Models
$109.99
Demokratie, Diktatur, Gerechtigkeit
$119.99
Neurogenesis in the Adult Brain I
$219.99
On the Move to Meaningful Internet Systems: OTM 2008 Workshops
$129.00
Healthy Urbanism
$39.99
Nice Numbers
$64.99
Advances in Material Science and Engineering
$89.00
Proteome Research: Two-Dimensional Gel Electrophoresis and Identification Methods
$219.00
Challenges For International Organizations in the 21st Century
$84.99
Decision-making in the Stalinist Command Economy, 193237
$79.99
Advocacy in Health Care
$109.99
NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet
$129.00
The Life Story of an Infrared Telescope
$54.99
Imaging of the Hip & Bony Pelvis
$189.00
13 Painters Children Should Know
$14.36
Pollen
$84.99
Ambivalences of Inclusion in Society and Social Work
$54.99
The Woman They Could Not Silence: The Shocking Story of a Woman Who Dared to Fight Back by Kate Moore
$17.99
Chinese Indentured Labour in the Dutch East Indies, 18801942
$109.99
Industrial Dynamics and Firm Strategies in the Agrochemical Industry
$49.99
