Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Model Checking Software

Model Checking Software

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540851141
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

On the Functional Equations Satisfied by Eisenstein Series

$34.99

Proceedings of 3rd International Sustainable Buildings Symposium (ISBS 2017)

$349.00

The Economics of the Modern Construction Firm

$109.99

Cyberspace Safety and Security

$54.99

Handbook of Massive Data Sets

$629.00

Chefsache Sichtbarkeit

$29.99

Multivariate Time Series With Linear State Space Structure

$84.99

Leadership for an Age of Wisdom

$84.99

Civil Society Organisations, Governance and the Caribbean Community

$99.99

Higher Education in the Era of the Fourth Industrial Revolution

$31.00

Microcavities and Photonic Bandgaps: Physics and Applications

$329.99

Mineral Resources of Turkey

$129.00

An Invisible Thread

$6.71

Ernst Machs World Elements

$169.99

Comparative Federalism

$109.00

Extraterrestrial Dust

$169.99

Travel and Tourism: Sustainability, Economics, and Management Issues

$249.99

The Gestalt Shift in Conan Doyle's Sherlock Holmes Stories

$49.99

Earth Observation of Global Change

$109.99

Simplex Society

$49.99

Byron and the Politics of Freedom and Terror

$54.99

Real Estate Valuation Theory

$119.99

Food Safety Governance

$109.99

Kontexte des Lebens

$59.99

Discrete Fracture Network Modeling of Hydraulic Stimulation

$54.99

Catastrophes

$29.99

Bildung gegen Populismus?!

$34.99

Elements of the Swiss Market for Electricity

$109.99

Promoting Health for Working Women

$54.99

Rigid Geometry of Curves and Their Jacobians

$119.00

Pediatric Gastroenterology and Nutrition

$64.99

Computer Algebra in Scientific Computing

$54.99

Guanylate Cyclase

$169.99

Mathematische Grundlagen der Technischen Mechanik III Materialmodelle in der Ingenieurmechanik

$44.99

Stability Problems for Stochastic Models

$44.99

Formation and Regeneration of Nerve Connections

$39.99

Frontiers of Biostatistical Methods and Applications in Clinical Oncology

$119.99

Biological Remediation of Explosive Residues

$169.99

Angewandte Elektronik

$44.99

Globalization and Latin American Cinema

$199.99