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
Russias Domestic Security Wars
$54.99
Development of the Cetacean Nasal Skull
$219.99
Altruism, Welfare and the Law
$39.99
Green Neighbourhoods and Eco-gentrification
$69.99
Krisenintervention Suizid Konsiliarpsychiatrie
$59.99
Hydrogen Bonded Supramolecular Materials
$54.99
Neurourology
$219.00
Networking of Mutagens in Environmental Toxicology
$109.99
Advances in Solid State Fermentation
$329.99
A Geographic Perspective of Cubas Changing Landscapes
$159.99
Social Media fr Fhrungskrfte
$59.99
Klang und Struktur in der abendlndischen Musik
$59.99
Statecraft, Welfare and the Politics of Inclusion
$54.99
Pro Microsoft Teams Development
$69.99
Bildung fr nachhaltige Entwicklung
$84.99
Biochemical Roles of Eukaryotic Cell Surface Macromolecules
$219.99
Natural Compounds as Drugs, Volume II
$129.00
Metal Matrix Composites
$39.99
The Memoirs of John Addington Symonds
$34.99
The Tree Shrew (Tupaia belangeri chinensis) Brain in Stereotaxic Coordinates
$169.00
Besser und erfolgreicher kommunizieren
$44.99
The Reasoning of Quantum Mechanics
$37.99
kologische Investments
$69.99
The Ultimate Origami Book
$13.12
Principles of Human Nutrition
$109.99
Die Grundlagen der Relativittstheorie
$59.99
Asymptotic Analysis of Spatial Problems in Elasticity
$84.99
Hate Crime in India
$89.00
Service-Oriented Computing
$54.99
Dance on Screen
$109.99
Electrodynamics
$89.99
Water Conservation, Recycling and Reuse: Issues and Challenges
$169.99
Lebenslagen unter Altersarmut
$59.99
An Introduction to Human Prehistory in Arabia
$79.99
The Gap Between Rich and Poor Nations
$169.99
Protein Metabolism of the Nervous System
$84.99
Intimisierung des ffentlichen
$59.99
Parteienwettbewerb im Bundesstaat
$34.99
Software Defined Internet of Everything
$129.99
Therapeutic Applications of Mesenchymal Stem Cells in Veterinary Medicine
$179.99
