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
Recent Advances in Mechanical Engineering
$219.99
Biopolymers
$199.99
The Sceptical Mode in Modern Philosophy
$129.00
Disjunctive Programming
$139.99
High-Level Parallel Programming Models and Supportive Environments
$54.99
Senotherapy
$39.99
Vter allerlei Geschlechts
$44.99
Neighborhood Rebels
$109.99
Methodisches Erfinden im Personalmanagement
$69.99
Codes, Cryptology and Information Security
$39.99
Metainformatics
$54.99
Mixed Finite Element Methods and Applications
$199.99
Integrating Artificial Intelligence and Visualization for Visual Knowledge Discovery
$139.00
Clustermanagement in der Praxis: Geschftsmodelle
$39.99
Legislative Delegation
$109.99
Rckfallprophylaxe schizophrener Erkrankungen
$84.99
Microsoft QuickC-Wegweiser Grundkurs
$44.99
The Educational Significance of Human and Non-Human Animal Interactions
$109.99
Professionelle Kommunikation in der Pflege
$29.99
Kultur-Projektmanagement
$29.99
Financial Modelling
$109.99
Facilitating Sustainable Innovation through Collaboration
$84.99
Acoustic-Based Applications for Vertebrate Vocalization
$64.99
Automated Technology for Verification and Analysis
$39.99
Das Leben der Sterne
$17.99
Recent Trends in Electrochemical Science and Technology
$199.99
Medical Information Systems
$54.99
El gallo que no se callaba! / The Rooster Who Would Not Be Quiet! (Hardcover)
$13.49
Heldenmrchen versus Heldenepos?
$59.99
Neuropsychology
$39.99
Harsh Environment and Plant Resilience
$179.99
Das Management der erfolgreichen strategischen Frhaufklrung als organisationale Fhigkeit
$69.99
Dark Nebulae, Dark Lanes, and Dust Belts
$34.99
Politisches Marketing in den Massenmedien
$44.99
Die Bildungsbenachteiligung von Kindern mit Migrationshintergrund
$34.99
Molecular Engineering of Nanosystems
$84.99
2016 International Symposium on Experimental Robotics
$329.99
Capitalism Without Capital
$109.99
Lehrbuch der Farbenchemie
$44.99
Proceedings of the Worldwide Music Conference 2021
$189.00
