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
Knstliche Organische Farbstoffe
$74.99
Intelligent Systems in Medicine and Health
$99.99
Das Trockengleichrichter-Vielfachmegert
$44.99
The Abel Prize 2008-2012
$179.99
Sustainable Air
$39.99
Wired-Wireless Multimedia Networks and Services Management
$39.99
Business Process Offshoring
$74.99
Ecological Networks and Territorial Systems of Ecological Stability
$84.99
Cholesterol
$219.99
Die Ermittlung von Kundenanforderungen und ihre Transformation in technologische Produktinnovationen
$44.99
Quantitative Research on Street Interface Morphology
$84.99
Holography in Medicine and Biology
$39.99
Groups, Norms and Practices
$39.99
Constraint and Integer Programming
$129.00
Temperature-dependent Deformation and Fracture Behavior of a Talcum-filled Co-polymer
$39.99
Environmental Analysis by Electrochemical Sensors and Biosensors
$249.99
Bildung des Gewissens
$69.99
Landscapes and Landforms of South Africa
$199.99
Mitbestimmung und Demokratisierung
$59.99
Meeting Basic Learning Needs in the Informal Sector
$109.99
Ribosomes
$109.99
Leadership and Creativity
$159.99
Fraktionen im Deutschen Bundestag 1949 1997
$69.95
Therapeutic Applications of Ribozymes and Riboswitches
$109.99
Computer Animation 91
$39.99
Off-Grid Solar Electrification in Africa
$139.99
View-Dependent Character Animation
$84.99
Studentische Lebensqualitt und Lebensstile
$39.99
Springer Tracts in Modern Physics 29
$54.99
Polymer Latices
$219.99
Finanzplanung und Kreditentscheidung
$69.99
Standards-Based Technology and Engineering Education
$169.99
Vorbereitungskurs Staatsexamen Mathematik
$34.99
Qualittsmanagement und Projektmanagement
$49.99
The Korean Government and Public Policies in a Development Nexus
$129.00
Space,Time and Memory in the Hippocampal Formation
$219.99
Study Guide for Economic Growth and Development
$59.99
Begrndung der Lehre vom Polyederinhalt
$54.99
Guns, Gun Violence and Gun Homicides
$119.00
Pipeline Real-time Data Integration and Pipeline Network Virtual Reality System
$39.99
