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 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Reviews
Questions & Answers
Mitglieder und Sympathisanten rechtsextremer Parteien
$59.99
ber die Aufarbeitung von Rckstnden aus der Altschmierlraffination
$59.99
Active Volcanoes of Chiapas (Mexico): El Chichn and Tacan
$89.00
Cooperative Control of Multi-agent Systems
$139.00
Dynamic Programming in Economics
$169.99
Representing Gender-Based Violence
$139.99
Encryption and Decryption Algorithms for Plain Text and Images using Fractional Calculus
$79.99
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation
$39.99
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
$84.99
Indian Business Groups and Other Corporations
$169.99
Discipline and Learn
$49.99
Power Engineering and Intelligent Systems
$299.99
X-Ray Spectroscopy
$54.99
Current Trends in Friction Stir Welding (FSW) and Friction Stir Spot Welding (FSSW)
$109.99
Die Signalbermittlung im Nerven
$59.99
Planning and Decision Making for Aerial Robots
$109.99
Hand and Wrist Injuries in Baseball
$169.99
Guide to Cybersecurity in Digital Transformation
$69.99
High Magnetic Fields in Semiconductor Physics
$39.99
Avatare im Gesundheitswesen
$17.99
Control Technologies for Emerging Micro and Nanoscale Systems
$109.99
Landlord and Tenant Law
$29.99
Aufstze und Vortrge (19221937)
$399.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII
$54.99
Options and Derivatives Programming in C++23
$54.99
Photoelectric Detection on Derived Attributes of Targets
$109.99
New Technologies in Surgical Oncology
$149.00
Tat-Ort Medien
$29.99
Lectures on the Theory of Few-Body Systems
$54.99
Einfhrung in die Wrmebertragung
$44.99
Children and Screen Media in Changing Arab Contexts
$54.99
Presidential Activism and Veto Power in Central and Eastern Europe
$84.99
Das landschaftliche Kreditwesen
$59.99
Entry Inhibitoren
$6.99
Planung und Bau verfahrenstechnischer Anlagen
$179.99
Transport in Plants II
$84.99
Reform and Development of Powers and Functions of China's Criminal Proceedings
$129.00
Erfolgreich akquirieren auf Messen
$49.99
Antiseizure Medication Interactions
$99.00
Entrepreneurs Creating Educational Innovation
$64.99
