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
Positive Polynomials, Convex Integral Polytopes, and a Random Walk Problem
$29.99
Numerische Beanspruchungsanalyse von Rissen
$54.99
Die Metallurgie des Schweiens
$179.99
The Presidential System in Turkey
$54.99
A Real Mind
$109.99
Ontologies
$54.99
Psychoses of the Schizophrenic Spectrum in Twins
$54.99
Crop Production and Global Environmental Issues
$279.99
Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications
$54.99
Engineering and Sustainable Community Development
$44.99
Mining Intelligence and Knowledge Exploration
$54.99
Humphrey Gibbs, Beleaguered Governor
$109.99
Handbuch Vakuumtechnik
$349.99
Praxis und Theorie der Individual-Psychologie
$74.99
Laser Spectroscopy VIII
$84.99
Synergien in Rechtsprechung und Rechnungslegung
$69.99
Deep Learning for Biometrics
$199.99
Epidemiological Research: Terms and Concepts
$54.99
Particle Accelerators: From Big Bang Physics to Hadron Therapy
$39.99
Economics of the International Coal Trade
$129.00
Design Automation Techniques for Approximation Circuits
$54.99
Einfhrung in das Prfungs- und Revisionswesen
$59.99
Cartilage Injury of the Knee
$159.99
Jahrbuch der Psychoonkologie 1993
$59.99
Literary and Cultural Relations between Brazil and Mexico
$54.99
Introduction to Epigenetics
$59.99
The Science of Prehistoric Giants: Dinosaurs That Used Armor for Defense
$21.75
Religion und Religiositt im vereinigten Deutschland
$64.99
Booker T. Washington and the Struggle against White Supremacy
$54.99
A Global History of Silk
$139.00
Physikalische und Chemische Datierungsmethoden in der Quartr-Forschung
$44.99
Einheiten und Symbole fr Ingenieure
$17.99
Processes and Pathways of Family-School Partnerships Across Development
$39.99
Computing and Combinatorics
$84.99
Correlations of Soil and Rock Properties in Geotechnical Engineering
$199.99
Arbeitsplatz Augenpraxis
$64.99
Functional Magnetic Resonance Imaging Processing
$169.99
Cornerstones of Freedom: Ellis Island
$5.21
Neurological Complications of Infectious Diseases
$159.99
First Principles of Meteorology and Air Pollution
$129.00
