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
Bacterial Pathogenesis
$84.99
The 2012 French Election
$109.99
Theorie der Moral und gerechte Praxis
$59.99
Rare Tumors and Tumor-like Conditions in Urological Pathology
$109.99
Dennis Potter: Between Two Worlds
$109.99
Tsunami Events and Lessons Learned
$109.99
Bear Sees Colors
$5.96
Urban Inequalities from Space
$179.99
The Linear Theory of Thermoelasticity
$54.99
The Ecology of Purposeful Living Across the Lifespan
$139.99
IT-Berater und soziale Medien
$59.99
Energy Harvesting Technologies
$129.00
Papers of the 8th DGOR Annual Meeting / Vortrge der 8. DGOR Jahrestagung
$59.99
Culture and Cultural Entities - Toward a New Unity of Science
$109.99
Die Marketingzukunft der Finanzdienstleister
$39.99
Anticlastogens in Mammalian and Human Cells
$84.99
Immunopharmacology in Autoimmune Diseases and Transplantation
$219.99
Handbuch Jugend - Musik - Sozialisation
$99.99
Monotonic, Cyclic and Postcyclic Shear Behavior of Low-plasticity Silt
$54.99
Die Lthrohranalyse
$59.99
Methoden der Experten- und Stakeholdereinbindung in der sozialwissenschaftlichen Forschung
$49.99
Frauenerwerbsttigkeit und Kinderbetreuung
$59.99
Applications in Ubiquitous Computing
$54.99
Design and Implementation of Voltage Source Converters in HVDC Systems
$139.99
Stimulus-Secretion Coupling in Neuroendocrine Systems
$109.99
Qualitative Methods in Elasticity
$549.99
Sozialwissenschaften
$34.99
Korrosionen an Eisen und Nichteisenmetallen
$59.99
After Sales Service in the European Community
$54.99
Two Tough Trucks (Hardcover)
$13.49
Brain
$169.99
Sir Arthur Lewis
$129.99
Globales Risikomanagement in Finanzinstitutionen
$54.99
Coloproctology
$54.99
Chemie und Fabrikation der tierischen Leime und der Gelatine
$54.99
Cloud Computing
$69.99
Solid-State Welding: Friction and Friction Stir Welding Processes
$139.00
Resonant Nonlinear Interactions of Light with Matter
$84.99
Qualitten polizeilichen Handelns
$44.99
Staatsbrgerschaft, Migration und Minderheiten
$39.99
