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
Surgical Emergencies in Clinical Practice
$54.99
Digital HR
$44.99
Teleoperation and Robotics
$169.99
Produktion und Management Betriebshtte
$139.99
Heidelberg Colloquium on Spin Glasses
$39.99
Grundzge der Kolloidphysik
$59.99
A Journey Through Representation Theory
$44.99
Bacterial Membrane Vesicles
$179.99
Constructive Pneumatological Hermeneutics in Pentecostal Christianity
$129.99
Multiple Access Communications
$34.99
Energy Flows, Material Cycles and Global Development
$129.99
Open Problems in Mathematics
$199.99
Spacecraft Power System Technologies
$199.99
Brain Edema XVI
$89.00
Nachtragsmanagement bei gestrten Bauablufen
$59.99
What is Next in Educational Research?
$39.99
Bamboo Polymer Nanocomposites
$139.00
U.S. Trade Deficit: Causes, Consequences, and Cures
$84.99
An Army at Dawn- The War in North Africa, 1942-1943 (Liberation Trilogy, Volume 1) by Rick Atkinson
$26.99
Why Peacekeeping Fails
$44.99
Advanced Agent Technology
$54.99
The Hazard Called Education by Joseph Agassi
$49.99
Moonlight Riders: Fire Horse
$5.24
Plant Hormone Receptors
$39.99
Hammelsprung
$64.99
Operator Theory in Function Spaces and Banach Lattices
$39.99
Temperaturmessungen an einem einstufigen, luftgekhlten 4-Zylinder-Kolbenkompressor mit Khlgeblse
$49.99
Cardiovascular 3D Printing
$84.99
Aboriginal Black Power and the Rise of the Australian Black Panther Party, 1967-1972
$129.99
Frontiers in Water-Energy-NexusNature-Based Solutions, Advanced Technologies and Best Practices for
$249.99
Key Hunters: The Mysterious Moonstone
$4.49
Plattform-Geschftsmodelle
$59.99
Digitally Assisted, Fully Integrated, Wideband Transmitters for High-Speed Millimeter-Wave Wireless
$129.00
Be An Expert!: Farm Animals
$4.49
Methods and Experimental Techniques in Computer Engineering
$54.99
The Palgrave Handbook of Intersectionality in Public Policy
$259.00
Dennis Potter: Between Two Worlds
$109.99
Man-Machine-Environment System Engineering: Proceedings of the 21st International Conference on MME
$379.99
FDR and the Environment
$109.99
Digitale Geschftsagenten
$59.99
