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
9783540448297
Condition
New
Product Description

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

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

Systemtechnik Planung komplexer innovativer Systeme

$84.99

Nachwuchsfrderung in der Wissenschaft

$59.99

Dyson Quantenfeldtheorie

$39.99

Inorganic Elements in Biochemistry

$39.99

Mikropolitik

$69.99

Value Creation in International Business

$84.99

Characterization of Nanoparticles Intended for Drug Delivery

$139.99

Cosmopolitanism and the Evils of the World

$89.00

Prostaglandine in Geburtshilfe und Gynkologie

$69.99

Truth to Post-Truth in American Detective Fiction

$119.99

Simulation and Testing for Vehicle Technology

$219.99

Power Engineering and Intelligent Systems

$249.99

The Dodo: Rosie's Story

$5.99

Ad Hoc Networks

$54.99

Treatise on Solid State Chemistry

$39.99

Proceedings of the Second International Conference on the Future of ASEAN (ICoFA) 2017 - Volume 1

$329.99

Reibungsverhalten elastomerer Lagerwerkstoffe

$59.99

Laser in der Medizin / Laser in Medicine

$69.99

Literature, Gender, and Nation-Building in Nineteenth-Century Egypt

$109.99

Intelligent Decision-making Support Systems

$219.99

Functional Equations, Inequalities and Applications

$109.99

Stochastische Modelle

$34.99

Krper Leib Sozialitt

$74.99

Microbial Sulfur Metabolism

$219.99

Craft Production and Social Change in Northern China

$169.99

Die Fortentwicklung des Datenschutzes

$99.99

Volksgemeinschaft 1933 - 1945

$34.99

Metacognition

$169.99

Habitustransformation durch Bildung

$34.99

Travel Writing and the Natural World, 1768-1840

$54.99

Wings of Fire Graphic Novel: The Dragonet Prophecy (#1) (Hardcover)

$18.74

Toward a New Millennium in Galaxy Morphology

$219.99

Corporate Real Estate Management

$17.99

The Lacrimal System

$149.00

The 'Community Method'

$54.99

Geometry Over Nonclosed Fields

$139.00

Pollutants from Combustion

$219.99

Computer Applications in Production and Engineering

$379.99

Red Meat Science and Production

$109.99

Interleukin 12: Antitumor Activity and Immunotherapeutic Potential in Oncology

$39.99