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
Sulfur Metabolism in Phototrophic Organisms
$329.99
A First Course in Noncommutative Rings
$99.00
Bioengineering in Cell and Tissue Research
$109.99
Biscuit-My First I Can Read!: Biscuit in the Garden
$4.46
Emotional Impact
$54.99
Take Me Home Tonight
$9.74
Recent Developments in High Pressure Processing of Foods
$39.99
Advanced Information Systems Engineering
$39.99
From Fossil Fuels to Low Carbon Energy Transition
$119.99
Resource Management in Mobile Computing Environments
$169.99
Handbook of Dynamics and Probability
$199.99
Spanish Pragmatics
$109.99
Captain Underpants #3: Captain Underpants and the Invasion of the Incredibly Naughty Cafeteria Ladies from Outer Space (Hardcover)
$9.74
Explosives Detection
$169.99
Nucleation of Gas Hydrates
$169.99
Edmund Spenser's War on Lord Burghley
$54.99
Ultraschallfibel Gynkologie und Geburtshilfe
$69.99
Demand Response Application in Smart Grids
$109.99
Don't Know Much About History [30th Anniversary Edition)- Everything You Need to Know About American History but Never Learned by Kenneth C. Davis
$21.99
Interrogating Belonging for Young People in Schools
$109.00
Real-Time Systems in Mechatronic Applications
$109.99
The Bunyans
$5.24
My Thoughts on Biological Evolution
$119.00
Culture and Conflict in Postwar Italy
$49.99
Effektives Customer Relationship Management
$69.99
Semiconductor Modeling:
$129.00
The Ethics of Artificial Intelligence in Healthcare: From Hands-on Practice to Policy-making
$119.99
Oralpathologie II
$59.99
Mathematikstudium fr das Lehramt an Gymnasien
$17.99
Robot Building for Beginners
$19.99
Spurenfossilien
$59.99
Kalkulation und Preisbildung in Bauunternehmen
$99.00
States and Alliances
$109.99
Die Personalfunktion der Unternehmung im Spannungsfeld von Humanitt und wirtschaftlicher Rationalit
$54.99
Hydro-Climatic Extremes in the Anthropocene
$119.00
High Performance SQL Server
$39.99
The Economic Consequences of Immigration to Germany
$54.99
Gott hat die Natur einfltig gemacht, sie aber schon viel Knste
$69.99
Plant Secondary Metabolites
$119.00
Uneasy Encounters
$54.99
