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
Das Telekommunikationsgesetz auf dem Prfstand
$59.99
The Invention of Free Press
$54.99
Auendienstentlohnung im Licht der Neuen Institutionenlehre
$59.99
Dataspace: The Final Frontier
$39.99
Das Ende des Wohlstands?
$19.99
Programmierwerkzeuge
$69.99
Objektorientierte Anwendungsentwicklung
$29.99
Unterrichtsentwrfe Mathematik Sekundarstufe I
$39.99
Der patentrechtliche Schutz von Daten und seine Grenzen
$49.99
Clinical Nephrogeriatrics
$109.99
Classical Analogies in the Solution of Quantum Many-Body Problems
$109.99
Anglo-Saxon Magic
$89.00
Political Ecology
$29.99
Lacrimal Gland, Tear Film, and Dry Eye Syndromes 2
$39.99
Experimental and Numerical Investigations in Materials Science and Engineering
$169.99
Worldwide Views on Police Discretion
$54.99
Upside-Down Magic: Dragon Overnight (#4)
$5.24
Environment Exposure to Pollutants
$109.99
Of States, Rights, and Social Closure
$39.99
Corporate Influencer
$17.99
Pulse Width Modulated DC-DC Converters
$169.99
Technische Operationen in der Orthopdie (Orthokinetik)
$59.99
Generalized Concavity in Fuzzy Optimization and Decision Analysis
$109.99
Techniques in Somatic Cell Genetics
$109.99
Polar Codes
$109.00
Flat Stanley: His Original Adventure! (#1)
$3.71
Formal Methods in Computer-Aided Design
$84.99
Philosophie der Raum-Zeit-Lehre
$49.99
Syntactic Pattern Recognition, Applications
$109.99
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem
$54.99
Ohrgehnge
$49.99
Planung
$24.99
Implementing Climate Change Measures in the EU
$54.99
Wo Coaching zu Hause ist
$49.99
China and the United States
$54.99
kologie
$54.99
Terrestrial Radiative Transfer
$54.99
The Rise of Trans-Eurasian Exchange
$89.00
Riemann-Roch Algebra
$119.99
Regulation for Chemical Safety in Europe: Analysis, Comment and Criticism
$84.99
