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 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 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
Reclaiming Social Policy
$84.99
Africa and the Formation of the New System of International Relations
$119.00
Stammesentwicklung der Menschheit
$59.99
Operations Research Proceedings 1982
$59.99
Exclusive Use in an Inclusive Environment
$199.99
Molecular Biochemical Aspects of Cancer
$249.99
New Critical Essays on Kurt Vonnegut
$49.99
Normalitt, Behinderung und Geschlecht
$59.99
Big Data and Networks Technologies
$199.99
Verffentlichungen zur Erforschung der Druckstoprobleme in Wasserkraftanlagen und Rohrleitungen
$49.99
Marine Bioactive Compounds
$169.99
Technological Systems and Economic Performance: The Case of Factory Automation
$169.99
Mascotas
$3.74
Microbiology and Biochemistry of Strict Anaerobes Involved in Interspecies Hydrogen Transfer
$39.99
Advances and Technical Standards in Neurosurgery
$89.00
Philosophische Wissenschaftshistorie
$59.99
Hermann Broch
$59.99
Intelligent Natural Language Processing: Trends and Applications
$299.99
Behavioral Neurobiology of Depression and Its Treatment
$169.00
Digital Technology, Eating Behaviors, and Eating Disorders
$54.99
Seismic Anisotropy in the Earth
$84.99
Annexins
$109.99
Sozialwissenschaft vermitteln und aneignen
$49.99
Numerik im Maschinenbau
$49.99
Knstliche Intelligenz in der Automobilindustrie
$29.99
Die Genderdebatte im Islam aus studentischer Sicht
$29.99
John Dewey
$54.99
Polish Migrants in European Film 19182017
$79.99
Multiple Visual Areas
$169.99
The Commonwealth Experience
$54.99
Modelling Foundations and Applications
$54.99
Thermoelastic Deformations
$169.99
Component-Based Software Testing with UML
$54.99
French and American Noir
$54.99
Bewertung und Steuerung von variablen Produkten bei Kreditinstituten
$79.99
Race, Capital, and Equity in Higher Education
$54.99
Komplexittstheorie
$59.99
Modeling and Application of Electromagnetic and Thermal Field in Electrical Engineering
$89.00
Aktionrsorientierte Unternehmensfhrung
$69.99
Laboratory Techniques in Thrombosis a Manual
$219.99
