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
Fit fr den digitalen Wandel in Kommunen
$29.99
Sensing Technology: Current Status and Future Trends III
$109.99
Real World ASP.NET
$34.99
Liquid-Crystal Polymers
$169.99
National Geographic Kids Readers: Buzz, Bee!
$3.71
Atlas of Male Reproductive Pathology
$329.99
Entrepreneurship in Regional Communities
$109.99
Genomic Designing for Biotic Stress Resistant Vegetable Crops
$279.99
Handbook of ELISPOT
$219.99
Public Policy in Ghana
$129.99
Combinatorial Pattern Matching
$39.99
International Capital Flows and the Lucas Paradox
$109.99
Mobile World
$109.99
Die reichsgesetzlichen Bestimmungen ber den Verkehr mit Arzneimitteln ausserhalb der Apotheken
$59.99
Regional Environmental Cooperation in South America
$109.99
Adding & Subtracting Decimals Grade 4 Differentiation Pack
$5.99
Finanzierung der Sozialwirtschaft
$37.99
Eiserne Wege
$29.99
Advances in Production, Logistics and Traffic
$219.99
Regulierung bei asymmetrischer Informationsverteilung
$49.99
Learning through Collaboration in Self-Study
$159.99
Europische Identitt und ihre Bedeutung fr den Dolmetscher
$37.99
Visual Quantum Mechanics
$69.99
Geschftsmodellentwicklung im Spannungsfeld multinationaler Unternehmen
$74.99
Ottomotor-Management kompakt
$19.99
Human Engineering in Stereoscopic Viewing Devices
$109.99
Der Hansakanal (Industrie-Seehfen-Kanal)
$54.99
Differential Equation Models
$39.99
Solar Energy Research Institute for India and the United States (SERIIUS)
$84.99
Gruppentransferpolymerisation von Michael-Monomeren
$44.99
Ready4Reading Activity Book 1 The Alphabet
$124.75
Brennpunkte der Schizophrenie
$59.99
Parallel Robotic Machine Tools
$89.00
Informationssysteme im wertorientierten Controlling
$34.99
Detecting Fake News on Social Media
$59.99
Kingsley Amis
$19.99
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
$39.99
Auslandsinvestitionsrechnung
$69.99
HCI in Business, Government and Organizations. Interacting with Information Systems
$39.99
Handbook of Molecular Force Spectroscopy
$169.99
