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
The Issues of Illegal Immigration and its Solutions in the Minority-Border Regions in Yunnan Provinc
$84.99
Term Rewriting and Applications
$39.99
Cross-Cultural Design. Product and Service Design, Mobility and Automotive Design, Cities, Urban Are
$89.00
Hybrid Artificial Intelligent Systems
$39.99
A Patients Guide to Dialysis and Transplantation
$54.99
Jabari Jumps
$5.96
Commodification of Body Parts in the Global South
$54.99
Inside Solid State Drives (SSDs)
$149.00
Causation in Decision, Belief Change, and Statistics
$129.00
Madeline Finn and the Library Dog
$6.71
Liver Cancer in the Middle East
$129.99
The Sculpture Machine
$84.99
Close Relations
$99.00
Psychiatrie in der klinischen Medizin
$54.99
Gathering Blossoms Under Fire- The Journals of Alice Walker, 1965-2000 by Alice Walker
$32.50
Eisenstoffwechsel
$54.99
Das vereinte Deutschland
$37.99
Objektorientierte Konzepte fr Kosteninformationssysteme
$49.99
Design of Observational Studies
$169.99
Familie und soziale Plazierung
$59.99
Ecosystem Ecology and Geochemistry of Cuatro Cienegas
$109.99
Stochastic and Integral Geometry
$39.99
Grundlagen der Halbleiterphysik II
$19.99
Science and the Economic Crisis
$29.99
Handbuch Umweltsoziologie
$109.00
Spatial Observation of Giant Panda Habitat
$219.99
Evoked Spinal Cord Potentials
$109.99
Der Traum in Psychoanalyse und analytischer Psychotherapie
$89.99
Conformal Field Theory for Particle Physicists
$49.99
Schulqualifikation und Berufsfindung
$74.99
31st International Symposium on Shock Waves 1
$329.99
Teachers of English Learners Negotiating Authoritarian Policies
$49.95
Drinfeld Moduli Schemes and Automorphic Forms
$54.99
Monte Carlo Methods
$39.99
Rousseaus mile als Experiment der Natur und Wunder der Erziehung
$59.99
The Challenge of Democratic Representation in the European Union
$54.99
Social Computing and Social Media
$64.99
Wordsworth's Biblical Ghosts
$54.99
Das Problem des Charakteraufbaus
$59.99
Computational Fluid Dynamics for the 21st Century
$219.99
