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
Metaphor and Shakespearean Drama
$54.99
Massage and Aromatherapy
$39.99
Physical Chemistry
$39.32
Fundamentals of Neuromechanics
$99.99
Flchen und ebene diskontinuierliche Gruppen
$44.99
Die gesetzlichen Bestimmungen ber den Verkehr mit Betubungsmitteln
$59.99
Die Stromversorgung der Groindustrie
$59.99
F Centers in Alkali Halides
$39.99
Die Welt der Rohstoffe
$69.99
National Security and Investment Controls
$159.99
I Want to be a Mathematician
$129.99
Energiewirtschaft fr (Quer-)Einsteiger
$39.99
Die hydrodynamischen Grundlagen des Fluges
$59.99
Inelastic Analysis of Structures under Variable Loads
$109.99
Biomarkers in Nutrition
$549.99
Die Semantik der neuen deutschen Auenpolitik
$37.99
Theory of the Nuclear Magnetic 1/T1 Relaxation Rate in Conventional and Unconventional Magnets
$109.99
Food Nutrition and Health
$54.99
Bone Densitometry and Osteoporosis
$109.99
Acting and Reflecting
$109.99
Vertrieb in differenzierten Mehrkanalsystemen
$59.99
How Many Zeroes?
$64.99
Charlie Chaplins Little Tramp in America, 194777
$119.00
Evolutionary Psychology
$84.99
Foundations of Mathematical Optimization
$169.99
Objektives Verstehen
$39.99
Geistig fit ins Alter 3
$29.99
Datenschutzrechtliche Zulssigkeit von Cloud-Computing-Services und deren teilautomatisierte berpr
$59.99
The Viscera of the Domestic Mammals
$169.99
Sobolev Spaces in Mathematics III
$129.00
The Kleiner Feldberg Cloud Experiment 1990
$109.99
Geronimo Stilton: Four Mice Deep in the Jungle (#5)
$5.99
Rethinking Security in the Twenty-First Century
$199.99
Neuroimaging and Psychosocial Addiction Treatment
$109.99
Carry and Learn: Carry and Learn Shapes / Llevame y aprende formas
$5.21
Intelligent Manufacturing and Energy Sustainability
$219.99
Designing Randomised Trials in Health, Education and the Social Sciences
$119.99
Theory and Applications of Ontology: Philosophical Perspectives
$129.00
The Molecular Basis of B-Cell Differentiation and Function
$54.99
Global Analysis of Minimal Surfaces
$109.00
