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
Wilhelm von Siemens
$54.99
A Practical Guide to Protein Engineering
$69.99
Sonderdruck aus Wirtschaftspolitik in Theorie und Praxis
$54.99
Biophilosophy
$54.99
Ischemic Stroke Therapeutics
$79.99
Leitfaden der allgemeinen Chirurgie
$59.99
Das Private unter den Rahmenbedingungen der IuK-Technologie
$59.99
Entwicklung eines Drehmomenten-Megertes
$59.99
Stem Cell and Liver Regeneration
$109.99
Risikomanagement in der Entwicklung und Produktion von Spielfilmen
$49.99
Arduino Internals
$59.99
Operations Research and Enterprise Systems
$54.99
Conduct Disorders and Severe Antisocial Behavior
$54.99
Mitarbeiterbefragung - was dann...? MAB und Folgeprozesse erfolgreich gestalten
$89.99
Fiber Optics
$84.99
Current Developments in Web Based Learning
$54.99
Simplified Models for Assessing Heat and Mass Transfer
$37.99
Klinisch-forensische Medizin
$79.99
Advances in Social and Occupational Ergonomics
$169.99
Selected Works of E. L. Lehmann
$219.99
Why Counterinsurgency Fails
$49.99
Fortschritte der Serologie
$44.99
The Evolution of Editorial Style in Early Modern England
$79.99
The Impact of Protracted Peace Processes on Identities in Conflict
$49.99
Toxicology of Nanoparticles: Insights from Drosophila
$109.99
Werkzeuge und Einrichtung der selbstttigen Drehbnke
$74.99
Brennstoffzellentechnik
$54.99
Flueintrge und Konzentrationen von Phosphor und Stickstoff und das Phytoplankton der Deutschen Buc
$59.99
Additive Fertigung mit Selektivem Lasersintern (SLS)
$17.99
Aufgaben und Lsungen zur Mathematik fr den Studienstart
$29.99
Reframing the Roman Economy
$179.99
Division Story Problems Grade 4 Differentiation Pack
$5.99
Health and Well-Being in India
$109.99
GnRH Analogues in Cancer and Human Reproduction
$39.99
Raumrelationen und Objekt-Regionen
$74.99
Inflammation: the Common Link in Brain Pathologies
$129.00
Modern Aspects of Dynamical Systems
$59.99
Enzyme Engineering Volume 2
$39.99
Great Expectations (Signature Classics) by Charles Dickens
$24.00
From Molecules to Materials
$109.99
