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
Scholastic Reader! Pre-Level 1-Gus: Gus cultiva una planta
$2.99
Beginning Game AI with Unity
$54.99
Anhedonia: A Comprehensive Handbook Volume I
$179.99
Automotive Systems Engineering II
$119.00
Intelligent Agents and Their Applications
$169.99
Geometric Theory for Infinite Dimensional Systems
$39.99
Semantic Web Services Challenge
$129.00
Tourism Discourse
$119.99
Solar Journey: The Significance of Our Galactic Environment for the Heliosphere and Earth
$169.99
Handbook of Evidence-Based Therapies for Children and Adolescents
$169.99
Gestaltung Umgestaltung
$44.99
Barnes & Noble Crush Crave Series 2 by Tracy Wolff
$14.99
Operations Research Proceedings 1994
$109.99
Soil-Steel Bridges
$99.99
Languages and Compilers for Parallel Computing
$69.99
The European Edisons
$89.00
Keine Panik vor Mechanik!
$29.99
The Heavens Are Falling
$54.99
Bewegungsapparat
$59.99
Mathematics Mechanization
$109.99
Pionier-Regionen der Zukunft
$69.99
Climate Innovation
$84.99
World Vegetables
$59.99
Biotechnology in the generation of biofuels
$199.99
The Impact of Mining on the Landscape
$159.99
3D Synthetic Environment Reconstruction
$169.99
Pulse Width Modulated DC-DC Converters
$169.99
New Classroom Collection Grade 2
$459.00
Personalberater erfolgreich auswhlen und fhren
$39.99
Applications of Remote Sensing to Agrometeorology
$169.00
Sports Science Research and Technology Support
$54.99
Technikkontrolle und Internationale Politik
$49.99
Estuarine Nutrient Cycling: The Influence of Primary Producers
$169.99
The Unnoticed Effects of EU Accession
$99.99
SCORe 96: Solar Convection and Oscillations and their Relationship
$129.00
Der Steinkohlenbergbau des Preussischen Staates in der Umgebung von Saarbrcken
$69.99
Art and Life in Modernist Prague
$54.99
Dynamik von Armut
$69.95
Carotenoids: Structure and Function in the Human Body
$169.00
La verdadera historia de los tres cerditos!
$6.71
