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 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 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
The Nature of the Economy
$119.99
In the Shadow of the Member States
$109.00
I Survived - Graphix: Sobreviv el ataque de los osos grises, 1967
$8.24
Control of Manipulation Robots
$39.99
Earliest Italy
$129.00
Bonded Repair of Aircraft Structures
$169.00
ZAK Zrich
$69.99
Numerical Methods for Experimental Mechanics
$169.99
Sustainable Fashion
$89.99
Workflow Management
$49.99
Diabetes in Children and Adolescents
$119.99
Identity, Space, and Everyday Life in Contemporary Northeast China
$159.99
Development and Neurobiology of Drosophila
$129.00
Intelligent Financial Portfolio Composition based on Evolutionary Computation Strategies
$54.99
Ecological Processes in Coastal and Marine Systems
$129.00
Digital Cities III. Information Technologies for Social Capital: Cross-cultural Perspectives
$54.99
Contingency and Natural Order in Early Modern Science
$119.00
Inequality, Economic Growth, and Technological Change
$54.99
The Way I Feel
$6.71
Untersuchungen ber die Kombination Metallkleben Punktschweien
$54.99
Stellar Populations
$169.99
English Language Education Policy in Asia
$199.99
Object-Oriented Database Programming
$39.99
Plantation Technology in Tropical Forest Science
$169.99
Pediatric Cancer, Volume 3
$169.00
Asthma bronchiale im Kindesalter
$59.99
Linear Algebra, Signal Processing, and Wavelets - A Unified Approach
$79.99
Superior-Order Curvature-Correction Techniques for Voltage References
$109.99
Integrated Communications in the Postmodern Era
$84.99
The Essential Guide to Rocky Mountain Mushrooms by Habitat by Cathy Cripps
$29.95
Gastrointestinal and Hepatic Manifestations of Rheumatic Diseases
$84.99
Theory of Geostationary Satellites
$219.99
The Machine as Metaphor and Tool
$54.99
Recent Developments in Alcoholism
$219.99
Rayleigh and Lamb Waves
$129.99
The Design of Innovation
$39.99
Nutrazeutika - Pflanzliche Lebensmittel mit Wirkung
$24.99
Deutschsprachiges Nature Writing von Goethe bis zur Gegenwart
$59.99
Innovating EFL Teaching in Asia
$54.99
Genitourinary Cancer
$219.99
