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
Introduction to Glass Science
$169.99
The History of Visual Magic in Computers
$54.99
Kompendium der Mediengestaltung fr Digital- und Printmedien
$59.99
Fantasy and Social Movements
$39.99
Complex Motions and Chaos in Nonlinear Systems
$54.99
Lecture Notes in Engineering
$109.99
Measurement Issues and Behavior of Productivity Variables
$84.99
The Housing of Nations
$109.99
Spatial Modeling and Assessment of Urban Form
$169.99
Hooray for Fly Guy! (Fly Guy #6)
$3.71
Methodological Advances in Research on Emotion and Education
$179.99
RNA-Protein Interaction Protocols
$109.99
Radiation Effects in Polymeric Materials
$109.99
Advances in Cryptology CRYPTO 2021
$119.99
PGPR: Biocontrol and Biofertilization
$129.00
Herwig Schopper
$59.99
Eleanor Roosevelt and the Anti-Nuclear Movement
$99.99
Funktionen beschrnkter mittlerer Oszillation
$19.99
Optical Properties of 3d-Ions in Crystals
$169.00
Migration and Entrepreneurship in the Global Context
$139.00
Maximum-Entropy and Bayesian Spectral Analysis and Estimation Problems
$129.00
Kommunikation und organisatorischer Wandel
$49.99
Narrative Inquiry into Reciprocal Learning Between Canada-China Sister Schools
$84.99
Human-Computer Interaction INTERACT 2019
$109.99
Femtosecond Real-Time Spectroscopy of Molecules and Clusters
$129.00
Advances in Satellite Technologies
$149.00
Applied Computer Science for GGOS Observatories
$54.99
The Brain: Fuzzy Arithmetic to Quantum Computing
$109.99
Je fremdlndischer desto einheimischer?
$59.99
Bestimmungstabellen fr Grser und Hlsenfrchte im Bltenlosen Zustande
$59.99
Moralische Individualitt
$64.99
Mathematical Theories of Machine Learning - Theory and Applications
$79.99
Arctic Hydrology, Permafrost and Ecosystems
$189.00
Organosilicon Derivatives of Phosphorus and Sulfur
$84.99
Storytelling in Journalismus, Organisations- und Marketingkommunikation
$54.99
Risk-Based Performance Management
$69.99
Five Nights at Freddy's: Fazbear Frights #5: Bunny Call
$7.49
Mycorrhizas - Functional Processes and Ecological Impact
$199.99
Mathematics at the Margins
$39.99
Stable and Efficient Cubature-based Filtering in Dynamical Systems
$39.99
