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 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
Behavioral Decision Making
$39.99
Theory
$39.99
Fahrermodell zur realittsnahen Erprobung von Handschaltgetrieben an Antriebsstrangprfstnden
$79.99
Categories and Sheaves
$119.99
Chinese Health Care Modern Chinese Medicine, Volume 3
$219.99
Erich Hckel (1896-1980)
$109.99
Host Stars and their Effects on Exoplanet Atmospheres
$89.99
Maschinelles Lernen
$69.99
Childrens Food
$169.99
Cycloadditions in Bioorthogonal Chemistry
$219.99
Legality Matters
$79.99
ffentliche Finanzen
$59.99
Exploring Memory Hierarchy Design with Emerging Memory Technologies
$109.99
Turbulent Shear Layers in Supersonic Flow
$249.99
Pro MERN Stack
$34.99
Klinische Diabetologie
$64.99
Quantitative Pareto Analysis by Cone Separation Technique
$84.99
Qualitt von Softwaresystemen
$74.99
Second Generation of Calcium Antagonists
$54.99
Computational Finance
$79.99
Community without Community in Digital Culture
$54.99
Software Engineering Education
$39.99
Mu Verpackung Abfall sein?
$69.99
Geringfgige Beschftigung
$59.99
Image and Graphics
$79.99
Dream Big
$5.21
Trends in Logic
$169.99
Foundations of Elastoplasticity: Subloading Surface Model
$279.99
Field Guide to the Deep Sky Objects
$74.99
Membrane Computing Models: Implementations
$199.99
Little Scholastic-Baby Days Bilingual: Beb cuenta / Baby Counts
$4.46
Phosphorus in Agriculture: 100 % Zero
$89.00
Improving the Earthquake Resilience of Buildings
$169.99
Assistive Technology for Visually Impaired and Blind People
$379.99
Mathematics Education in a Context of Inequity, Poverty and Language Diversity
$109.99
Hybrid Forms of Governance
$109.99
Becoming Maria (Hardcover)
$14.24
Economics, Management and Optimization in Sports
$109.99
Der Spannungszustand beim Ziehen und Einstoen von runden Stangen
$59.99
