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 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Reviews
Questions & Answers
ANM: Approximation, Applications, and Analysis of Nonlocal, Nonlinear Models
$139.99
Die gemeinntzige GmbH
$44.99
Producing Artificial Intelligent Systems
$169.99
Dynamic Control and Optimization
$199.99
Innovations for Healthcare and Wellbeing
$139.00
Fluid- und Wrmetransport Wrmebertragung
$29.99
High-Pressure and Low-Temperature Physics
$39.99
Promoting Good Governance, Development and Accountability
$54.99
Risikomanagement und wertorientierte Unternehmensfhrung
$49.99
Monte Carlo and Quasi-Monte Carlo Methods 2002
$249.99
Statistics and Measurement Concepts with OpenStat
$54.99
PRIMA 2015: Principles and Practice of Multi-Agent Systems
$54.99
Coronary Circulation
$39.99
Macromolecular Concept and Strategy for Humanity in Science, Technology and Industry
$39.99
Crystal Chemistry of Condensed Phosphates
$249.99
Einstellungsgesprche erfolgreich fhren
$44.99
Europeanization
$54.99
Wie potenziell mathematisch begabte Kinder argumentieren
$64.99
Lean-Kompendium
$49.99
Hydrology and Water Supply for Pond Aquaculture
$219.99
Fas Signaling
$129.00
Distributed Algorithms for Message-Passing Systems
$99.99
Introduction to Genetic Algorithms
$169.99
Overcoming Conflict
$119.00
Membrane Computing
$54.99
Once Upon a Cool Motorcycle Dude
$5.21
Tsunamis and Earthquakes in Coastal Environments
$109.99
Minimally Invasive Functional Reconstruction of the Knee
$129.00
Handbook of Child Psychopathology
$129.00
Funology
$169.00
Frequency Selective Surfaces based High Performance Microstrip Antenna
$54.99
Interpretation of Law in the Age of Enlightenment
$109.99
A Primer for a Secret Shortcut to PDEs of Mathematical Physics
$44.99
Broken (in the best possible way) by Jenny Lawson
$27.99
Data Science Concepts and Techniques with Applications
$59.99
Exploring Identities of Psychiatric Survivor Therapists
$79.99
Letters across Borders
$119.99
Scholastic Reader! Level 2-The Magic School Bus Rides Again: Glacier Adventure
$3.74
Gene Regulatory Sequences and Human Disease
$169.99
Professionelle Vertriebspower im Maschinen- und Anlagenbau
$39.99
