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
7 Strengths Library: Purple Bunk (Grades 5-6)
$675.00
Neural Nets
$39.99
Micro-algae: Next-generation Feedstock for Biorefineries
$219.99
Wider den Nachdruck!
$54.99
Tailored Wealth Management
$29.99
Normen als Grund bilateraler Auenpolitik
$44.99
Risikojournalismus und Risikogesellschaft
$59.99
Monetary Policy in Europe after Maastricht
$169.99
Optical Systems for Soft X Rays
$89.00
Public Health Challenges in Contemporary China
$84.99
Real-Time Web Application Development
$69.99
3D Printing
$39.99
Morphometrics with R
$139.99
Intellectual Property Rights in Pharmaceutical Test Data
$129.00
The Gift of Therapy- An Open Letter to a New Generation of Therapists and Their Patients by Irvin Yalom
$18.99
Spatial Information Technology for Sustainable Development Goals
$69.99
Zeitschrift fr Ethnologie
$49.99
Banken als Erfllungsgehilfen staatlicher Politik
$69.99
Compounds of Transition Metals
$54.99
Graded Finite Element Methods for Elliptic Problems in Nonsmooth Domains
$54.99
Separated and Vortical Flow in Aircraft Wing Aerodynamics
$139.00
Die Entdeckung der Evolution
$49.99
I Got the Rhythm
$5.21
Politicising Polio
$99.99
Pakistan's Arms Procurement and Military Buildup, 1979-99
$54.99
Universal Access in Human-Computer Interaction: Design and Development Methods for Universal Access
$54.99
The New Fate of Peasants
$54.99
Manis Valuations and Prfer Extensions I
$39.99
Capitalism and Social Progress
$39.99
Pro RESTful APIs
$34.99
Democratic Institutions of Undemocratic Individuals
$54.99
Proceedings of the 5th International Conference on Transportation Geotechnics (ICTG) 2024, Volume 6
$279.99
Foundations of Ophthalmology
$59.99
Themes in Modern Macroeconomics
$84.99
Wedgie & Gizmo
$5.24
Consciousness from a Broad Perspective
$119.99
Genetic Preservation of Plant Cells in Vitro
$84.99
Echo and Meaning on Early Modern English Stages
$44.99
Murdoch on Truth and Love
$119.99
The American Family
$54.99
