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
Ternary Equilibrium Diagrams
$54.99
Benno Signitzer
$49.99
Fahrerassistenzsysteme und Effiziente Antriebe
$39.99
Frida Kahlo and Her Animalitos
$6.71
Magnetism / Magnetismus
$109.99
The Soils of Croatia
$109.99
Traumatic Brain Injuries
$249.99
Class, Individualization and Late Modernity
$54.99
Discursive Constructions of Identity in European Politics
$54.99
The Scientific Basis of Flocculation
$219.99
Knowing Governance
$109.99
American Authorship and Autobiographical Narrative
$54.99
Einstellungen Personalverantwortlicher zur Beschftigung von Menschen mit Behinderungen
$49.99
Aligning IT and Business
$129.99
Foucault: Diskursanalyse der Politik
$39.99
Die Wirkstoffe des Hypophysenvorderlappens
$59.99
Molecular Engineering for Advanced Materials
$219.99
The Paraganglionic Chemoreceptor System
$84.99
The A Priori Method in the Social Sciences
$179.99
Why did the Socialist System Collapse in Central and Eastern European Countries?
$149.00
Robert Wagner and the Rise of New York Citys Plebiscitary Mayoralty: The Tamer of the Tammany Tiger
$54.99
To Shake the Sleeping Self - A Journey from Oregon to Patagonia, and a Quest for a Life with No Regret by Jedidiah Jenkins
$18.00
Kurt Gdel: Results on Foundations
$199.99
Lernprozessorientiertes Wissensmanagement und kooperatives Lernen
$49.99
Twisted Isospectrality, Homological Wideness, and Isometry
$37.99
IVIG Therapy Today
$109.99
Methods and Techniques in Ethnobiology and Ethnoecology
$169.99
White Theology
$49.99
Conserving Americas Neighborhoods
$39.99
Kulturmanagement
$49.99
Discrete Energy on Rectifiable Sets
$159.99
Kolmogorov Equations for Stochastic PDEs
$59.95
The Moon and How to Observe It
$34.99
Endliche Permutationsgruppen
$29.99
Neurodegeneration 35 Fallbeispiele aus der Praxis
$39.99
Next Generation Science Standards Collection Grade 5
$275.00
The Downy Mildews - Genetics, Molecular Biology and Control
$129.00
Quantum Noise
$199.99
Fractal Geometry and Stochastics III
$84.99
Getriebetechnik Kinematik fr AOS- und UPN-Rechner
$59.99
