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
Pillars of Transcendental Number Theory
$99.99
Psychological and Neurobiological Aspects of Eating Disorders
$54.99
Software Business
$44.99
Theoretische Biologie
$69.99
Developments in Soil Salinity Assessment and Reclamation
$219.99
Metallocorroles for Attenuation of Atherosclerosis
$109.99
Nibelungenlied
$29.99
Plant Cell Morphogenesis
$109.00
Nachhaltigkeit kommunizieren - nachhaltig kommunizieren
$69.99
Environmental Geochemistry
$84.99
Ulkusfibel
$69.99
Hitzehrtbare Kunststoffe (Duroplaste)
$69.95
Schutzpflichten im Vlkerrecht Ansatz einer Dogmatik
$129.00
The Spanish Military and Warfare from 1899 to the Civil War
$99.00
A Wicked History-20th Century: Adolf Hitler
$4.46
The Biochemistry of Energy Utilization in Plants
$54.99
Vorluferfhigkeiten und deren Einfluss auf den Schriftspracherwerb im Deutschen
$74.99
Molire
$17.99
The Awakening Storm: A Graphic Novel (City of Dragons #1) (Hardcover)
$18.74
Pharmaceuticals from Microbes
$199.99
Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
$59.99
Beyond the New Economic Anthropology
$29.99
Von Pompeji zum Pinatubo
$44.99
Information Security Practice and Experience
$54.99
Boundary Synchronization for Hyperbolic Systems
$129.99
ComputerBased Structure Elucidation from Spectral Data
$84.99
Soft Computing Applications in Optimization, Control, and Recognition
$84.99
Arabidopsis
$129.00
The British Press and the Greek Crisis, 19431949
$109.00
Guide to Disaster-Resilient Communication Networks
$109.99
Extrapolation and Optimal Decompositions
$29.99
Elemental Sulfur and Sulfur-Rich Compounds II
$329.99
Biogeography and Ecology of the Pityusic Islands
$39.99
Citizen Satisfaction
$54.99
Climate Policy Assessment
$169.99
Interactive Collaborative Robotics
$54.99
Muslim Women at Work
$79.99
Knstliche Intelligenz und Data Science in Theorie und Praxis
$39.99
So geht Digital Marketing
$49.99
Demystifying Leadership in Iceland
$119.99
