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
Computers and Exploratory Learning
$129.00
Genomics of Plant-Associated Fungi: Monocot Pathogens
$169.99
Adsorptionstechnik
$159.99
Theorie und Berechnung der statisch unbestimmten Tragwerke
$59.99
The Fifty-Nine Icosahedra
$54.99
Northern Ireland
$54.99
Genomic Designing for Abiotic Stress Resistant Oilseed Crops
$149.00
Eventrecht kompakt
$39.95
Genetics of Influenza Viruses
$84.99
Clinical Ophthalmic Oncology
$109.00
The Way Home (Owly #1)
$8.24
Numerische Methoden bei Optimierungsaufgaben Band 3
$44.99
Philosophical Biology in Aristotle's Parts of Animals
$89.00
Hepatobiliary and Pancreatic Carcinogenesis in the Hamster
$169.99
The Politics of Water in Post-War Britain
$119.99
Terahertz Optoelectronics
$169.00
Mosaic Landscapes and Ecological Processes
$169.99
Principles of Bone and Joint Research
$59.99
Germanistik und Deutsche Nation 1806 - 1848
$29.99
Energieorientierte Walzprogrammplanung in der stahlerzeugenden Industrie
$39.99
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ
$84.99
Verletzungen bei Kindern bis zum 14. Lebensjahr
$69.99
Magnetic Material for Motor Drive Systems
$179.99
Revolutionary Domesticity in the Italian Risorgimento
$109.00
Vulnerability and Long-term Care in Europe
$44.99
Autobiographies of W.B.Yeats
$99.99
Central European History and the European Union
$54.99
Total Hip Arthroplasty
$54.99
Handelsvolumen auf Aktienmrkten
$69.95
Beyond GDP
$54.99
Die Formalisierte Terminologie der Verlsslichkeit Technischer Systeme
$69.99
Atlas of Pigmentary Skin Disorders
$249.99
The Macmillan-Eisenhower Correspondence, 1957-69
$109.99
Soziale Enqute im aktuellen Kriminalroman
$44.99
Structure and Properties of Polymer Films
$54.99
The Cultural Memory of Africa in African American and Black British Fiction, 1970-2000
$139.99
Die Eisenbahnen
$59.99
Identifying Numerals Up to Grade K Differentiation Pack
$5.99
Pulmonary Drug Delivery Systems: Material and Technological Advances
$129.99
Derived Embodiment in Abstract Language
$109.99
