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 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009. The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.
Reviews
Questions & Answers
Adaptive Finite Elements in Linear and Nonlinear Solid and Structural Mechanics
$84.99
Einfluss von Steuern auf unternehmerische Entscheidungen
$39.99
Rediscovering John Dewey
$119.00
Ernhrungsmedizinische Praxis
$79.99
Male Eating Disorders
$64.99
Franz Oppenheimer
$59.99
Biochemistry of S-adenosylmethionine and Related Compounds
$89.00
Optimale nichtlineare Preise fr zweiseitige Mrkte
$69.99
Preferences and Similarities
$129.00
Mit fnfzehn hat es noch Trume
$59.99
Structure and Transformations of Organic Molecules
$39.99
Challenging US Foreign Policy
$39.99
MERN Projects for Beginners
$69.99
Random Walks in the Quarter-Plane
$39.99
Anti-Proverbs in Five Languages
$84.99
The Proceedings of the 12th International Congress on Mathematical Education
$59.99
Umweltbildung und Umweltbewutsein
$64.99
Learning Java with Games
$54.99
Die kongenitale Hypothyreose und der endemische Kretinismus
$29.99
Mental Well-Being
$169.99
Tourism and Culture in Philosophical Perspective
$129.99
Innovation Capacity and the City
$24.99
When the Beat Was Born
$5.21
Agent Computing and Multi-Agent Systems
$39.99
Poverty and Wealth in Judaism, Christianity, and Islam
$109.00
Agglomeration Economies, New Industrial Clusters and Japanese Multinational Firms Location in East
$119.99
Handbook of Laboratory Health and Safety Measures
$299.99
The Political Economy of India's Economic Development: 5000BC to 2022AD, Volume I
$129.99
Proceedings of 3rd International Conference on Computing Informatics and Networks
$219.99
From Instability to Intelligence
$74.99
Agents and Multi-Agent Systems: Technologies and Applications 2022
$279.99
Fragrance
$219.99
Graph-Grammars and Their Application to Computer Science and Biology
$39.99
Tensor Calculus for Engineers and Physicists
$119.99
Bio-Inspired Computing: Theories and Applications
$99.00
Network Traffic Anomaly Detection and Prevention
$89.99
Gestaltung von Straenverkehrsanlagen
$49.99
Alterations of Chemical Equilibrium in the Nervous System
$84.99
Recent Developments in Model-Based and Data-Driven Methods for Advanced Control and Diagnosis
$189.00
Hong Kong History
$159.99
