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
Web Matrix Developer's Guide
$39.99
Secure Networked Inference with Unreliable Data Sources
$109.99
Anarchist Socialism in Early Twentieth-Century Spain
$99.99
Computational Forensics
$39.99
Evolutionary Theory and the Creation Controversy
$129.00
Der Lochstreifen in informationsverarbeitenden Systemen
$64.99
Perioperative Considerations and Positioning for Neurosurgical Procedures
$139.99
Foreign Policy Analysis
$39.99
Emerging Trends in Neuro Engineering and Neural Computation
$169.99
Mathematischer Einfhrungskurs fr die Physik
$69.99
Positives Impact Investing
$84.99
Gratitude and the Good Life
$69.99
Shakespeare and Protestant Poetics
$99.99
Innovation Together
$109.99
Applications of Emerging Technologies and AI/ML Algorithms
$199.99
Aufbruch nach Amerika
$89.99
Simultane Gesamtplanung im mehrstufigen Mehrproduktunternehmen
$44.99
Social Influences on Eating
$89.99
Probleme und Mglichkeiten einer Substituierung der Gewerbesteuer
$59.99
The Red Cell Membrane
$84.99
Soil-Steel Bridges
$79.99
Multivariate Time Series Analysis in Climate and Environmental Research
$179.99
ATARI Player-Missile-Grafik
$49.99
Interaction of Nanomaterials with the Immune System
$129.00
Betriebssoziologie
$59.99
MotionCast for Mobile Wireless Networks
$34.99
Five Nights at Freddy's: Fazbear Frights Graphic Novel Collection Vol. 1
$11.24
bersicht ber die Neuerungen in der Feldsanittsausrstung
$59.99
Water-Quality Hydrology
$39.99
Evaluation of Novel Approaches to Software Engineering
$54.99
Challenging Cases in Neurologic Localization
$44.99
Critical Approaches to Education Policy Analysis
$149.00
Perfektionismus berwinden
$29.99
Prostate Gland and Seminal Vesicles
$84.99
Complexity from Microscopic to Macroscopic Scales: Coherence and Deviations
$54.99
Konflikt, Kultur und Interpretation
$69.95
Management Support Systeme
$54.99
The Siete Table: Nourishing Mexican-American Recipes from Our Kitchen by Garza Family, The
$35.00
Navigating the Energy Maze
$99.99
Public Control of Armed Forces in the Russian Federation
$129.99
