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:
Buy Model Checking Software for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021. The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 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
Die obere Halswirbelsule
$99.00
Tiny T. Rex: Tiny T. Rex and the Very Dark Dark
$4.46
Frontiers of Particle Beams: Factories with e+ e- Rings
$74.99
Mitarbeiterbeteiligung in kleinen und mittleren Unternehmen
$59.99
Behavior and Social Computing
$54.99
The Trump Doctrine and the Emerging International System
$159.99
Identittsstatus von Einheimischen mit Migrationshintergrund
$44.99
George Gissing: The Cultural Challenge
$39.95
Sexual Rehabilitation of the Spinal-Cord-Injured Patient
$89.00
Wie geht Industrie?
$39.99
Proceedings of EECE 2020
$279.99
The Human Factor in a Mission to Mars
$169.99
Eine Reputationskonomie
$49.99
H Is for Hawk by Helen Macdonald
$18.00
Wrterbuch der Druckluft- und Filtertechnik
$74.99
Reviews of Environmental Contamination and Toxicology Volume 241
$119.99
Thermal Spray 2008
$219.99
Krank, was tun?
$24.99
Frherkennung und Steuerung von Unternehmensentwicklungen
$59.99
Multiphysical Testing of Soils and Shales
$219.99
Thermodynamics in Earth and Planetary Sciences
$129.99
Reimagining Philosophy and Technology, Reinventing Ihde
$109.99
Global, National and Local Practices in Multinational Companies
$54.99
Biscuit-My First I Can Read!: Biscuit Goes to School
$4.46
Ideals, Varieties, and Algorithms
$74.99
Displacement Among Sri Lankan Tamil Migrants
$89.00
Holz im Auenbereich
$44.99
The Creative Process
$129.99
Spin and Isospin in Nuclear Interactions
$39.99
Die Lebensalter
$59.99
Giant Metallic Deposits
$209.00
Pentoses and Lignin
$39.99
Vibrio spp. Infections
$219.99
Climate Development and History of the North Atlantic Realm
$219.99
Crash Safety of High-Voltage Powertrain Based Electric Vehicles
$139.00
Psychotherapie bei Psychosen
$74.99
Studies on Urban Vehicular Ad-hoc Networks
$54.99
Financial Sustainability in US Higher Education
$64.99
Wie modern war das Kaiserreich?
$54.99
Real Estate Education Throughout the World: Past, Present and Future
$169.00
