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
Profiles: World War II
$5.24
Interactive Systems: Design, Specification, and Verification
$39.99
Fundamentals of Power Electronics
$89.00
Teaching and Learning English in the Primary School
$129.99
Mycotoxins and Food Safety
$129.00
Marine Toxins as Research Tools
$219.99
Numerical Methods in Matrix Computations
$109.99
Einsam an der Spitze
$69.99
Proceedings of International Conference on Computational Intelligence
$229.00
Gabler Kompakt-Lexikon eBusiness
$69.99
Diagram Design
$84.99
A Stable and Transparent Framework for Adaptive Shared Control of Robots
$99.00
Community Psychiatric Nursing
$54.99
Future Multilateralism
$109.99
Intelligence of Things: Technologies and Applications
$199.99
Computer Science Logic
$39.99
Natural Time Analysis: The New View of Time
$149.00
Untersttzung des Managements von Software-Projekten durch eine Erfahrungsdatenbank
$59.99
Methods in Protein Sequence Analysis 1986
$169.00
Enhancing Environmental Education Through Nature-Based Solutions
$199.99
Auftragskommunikation
$17.99
Operational Research
$219.99
Linguistic and Psycholinguistic Approaches on Implicatures and Presuppositions
$119.99
Generalized Epilepsy
$39.99
Gelassen und sicher im Stress
$19.99
Fundamental Networking in Java
$39.99
Hi Lo Adventure Chapter Books: I Am Underdog
$7.46
PHP 8 Objects, Patterns, and Practice
$44.99
Bosch Automotive Electrics and Automotive Electronics
$129.99
Indigenous Organization Studies
$54.99
Rural Areas Between Regional Needs and Global Challenges
$84.99
Linear Partial Differential Operators
$54.99
The Powerful Partnerships Family Engagement Action Guide
$18.75
Lehrbuch der topographischen Anatomie
$99.00
EURASIP Directory 1983
$129.00
Information, Haftung und Prfungsqualitt
$49.99
Case-Based Textbook of Echocardiography
$169.99
Advances in Efficiency and Productivity II
$109.99
Contemporary Debates in the Sociology of Education
$39.99
Handbook of Materials for Wind Musical Instruments
$249.99
