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
Einfache Datenauswertung mit R
$37.99
Handbuch Medien und Geschlecht
$139.00
Rekonstruktive Erziehungsforschung
$59.99
Handbuch betriebliche Altersversorgung
$54.99
Rural Planning from an Environmental Systems Perspective
$219.99
Modernity and Metropolis
$109.99
Kierkegaard and Kant on Radical Evil and the Highest Good
$99.99
Molecular Design and Bioorganic Catalysis
$169.99
Lagrange-type Functions in Constrained Non-Convex Optimization
$109.99
The Historical Roots of Human Trafficking
$69.99
Recent Trends in Human and Animal Mycology
$169.99
Modern Aspects of Colloidal Dispersions
$84.99
Retribution, Justice, and Therapy
$109.99
Web-Based Projects that Rock the Class
$29.99
Das Bauchtrauma
$69.99
Life Scientific Philosophy, Phenomenology of Life and the Sciences of Life
$219.99
Aufgaben und Lsungsmethodik Technische Mechanik
$39.99
The Economics of Postal Service
$84.99
Die Reduzierbarkeit von Eisenerzen
$59.99
Proliferative Vitreoretinopathy (PVR)
$84.99
Calcium Signaling In Airway Smooth Muscle Cells
$169.99
Roles, Rights, and Responsibilities in UK Education
$54.99
Proceedings of International Conference on Computational Intelligence
$259.00
Der einheitliche EU-Zahlungsverkehr
$17.99
The MPEG Representation of Digital Media
$109.99
Origami Galaxy for Kids
$13.26
Next Generation Intelligent Environments
$109.00
Neue Technologien im Gesundheitswesen
$49.99
Influences on the Aufbau
$109.99
Collected Works of Charles Franois Sturm
$169.99
The Blue Zones Kitchen: 100 Recipes to Live to 100 Book National Geographic Official shopDisney
$30.00
Narrow Tilting Vehicles
$37.99
Arduino Applied
$64.99
Molecular Genetics of Recombination
$329.99
Data Science and Applications
$249.99
The Squad: A Graphic Novel (The Tryout #2)
$9.74
Piggy: The Cure: An AFK Book
$5.99
Modellintegrierte Produkt- und Prozessentwicklung
$79.99
Bedingungen gerechten Handelns
$59.99
Advancing Quality of Life in a Turbulent World
$109.99
