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
Narrative and Technology Ethics
$99.00
Random Processes with Applications to Circuits and Communications
$109.00
Advances in Neural Networks- ISNN 2013
$39.99
Plotin-Handbuch
$99.99
Kriegsverbrechen im nationalen und internationalen Recht
$99.00
Artificial Intelligence in Financial Markets
$109.99
Strategies for Sustainable Tourism at the Mogao Grottoes of Dunhuang, China
$39.99
New Horizons for Failing Heart Syndrome
$54.99
Demand Response Application in Smart Grids
$109.99
Somatostatin
$39.99
Lupus
$329.99
Die Jahrhunderthalle in Breslau
$79.99
Who Would Win Ultimate Rumbles Collection Grades 3-4 (4 books)
$11.00
Global Trends in Information Systems and Software Applications
$109.99
Philosophy of Language
$169.99
Communications and Multimedia Security
$34.99
English / Spanish Grades PreK-2
$106.00
The USA, ILO, UNESCO and IAEA
$54.99
Guided Internet-Based Treatments in Psychiatry
$129.99
Die Geschichte der Psychiatrie in der Charit im 19. Jahrhundert
$54.99
Land Resources for the Worlds Food Production. Der Weltkohlenhandel
$54.99
Insect Development
$109.99
Assessment for Learning: Meeting the Challenge of Implementation
$169.99
Parteien und Verbnde
$59.99
Bacteriophages
$189.00
Neu in der Geschftsfhrung
$39.99
Nearly Zero Energy Communities
$219.99
Signale und Systeme verstehen und vertiefen
$39.99
Quantum Mechanics in Curved Space-Time
$59.99
Bioremediation of Industrial Waste for Environmental Safety
$139.99
Entwicklung von innovativen Strategieoptionen in gesttigten Mrkten
$74.99
Human Blood Coagulation
$39.99
Computational Neuroscience of Drug Addiction
$219.99
Fuzziness in Database Management Systems
$169.99
Legal problems arising from the United Nations military operations in the Congo
$74.99
Competence Based Education and Training (CBET) and the End of Human Learning
$59.99
Sparks!: Future Purrfect
$11.24
Mitophagy
$109.99
Interface Oral Health Science 2007
$169.99
Conceptual Theories in Structural Dynamics
$54.99
