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
Model Checking Software
Best Price (Coupon Required):
Buy Model Checking Software for $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
Reviews
Questions & Answers
Family Business as Paradox
$49.99
KI-97: Advances in Artificial Intelligence
$39.99
Artificial Intelligence Systems and the Internet of Things in the Digital Era
$169.99
Max Weber's Theory of the Modern State
$54.99
Die Ambivalenz des Fortschritts ist weniger mehr?
$54.99
Cloud Computing and Security
$39.99
Partial Update Least-Square Adaptive Filtering
$29.99
Energy Efficiency Clauses in Charter Party Agreements
$84.99
The Sol-to-Gel Transition
$54.99
Proceedings of the International Symposium on Engineering under Uncertainty: Safety Assessment and
$329.99
Politische Theologie
$59.99
Die akute und chronische Niereninsuffizienz
$84.99
Diagnostische und therapeutische Techniken in der Pdiatrie
$59.99
Assessment of Ore Deposit Settings, Structures and Proximity Indicator Minerals in Geological Explor
$159.99
Introduction to Quantum Computing
$54.99
Heart Replacement
$84.99
The Switch (Hardcover)
$13.49
Coupled DEM-CFD Analyses of Landslide-Induced Debris Flows
$129.00
The Palgrave Handbook of Utopian and Dystopian Literatures
$219.99
Higher Education Marketing in Africa
$109.99
Transportmanagement
$44.99
Telefonumfragen in Deutschland
$64.99
Design for Environmental Sustainability
$79.99
Hermann Schweppenhuser: Kultur, Ausdruck und Bild
$64.99
Stakeholder Value in Regionalentwicklungsprozessen
$69.99
Relational Processes in Counselling and Psychotherapy Supervision
$54.99
Core-Level Spectroscopy in Condensed Systems
$109.99
The Odd 1s Out- How to Be Cool and Other Things I Definitely Learned from Growing Up by James Rallison
$16.00
Minimal Stimulation and Natural Cycle In Vitro Fertilization
$54.99
Mathematical Financial Economics
$89.99
Oral Biology
$299.99
Nonlinear Filters
$109.99
Business Model Innovation
$129.99
Kltemaschinenle
$59.99
Debates on the Future of Communism
$59.99
Black Women, Academe, and the Tenure Process in the United States and the Caribbean
$99.99
Chemistry Education in the ICT Age
$169.99
Mediale Topographien
$79.99
Dog Man Books 1-5 (Hardcover)
$46.00
Carbon Dioxide and Other Greenhouse Gases: Climatic and Associated Impacts
$169.99
