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

Social Network Based Big Data Analysis and Applications

$109.99

Quantum Critical Phenomena of Valence Transition

$109.00

The Palgrave Handbook of Social Democracy in the European Union

$169.00

Urogynecology: Evidence-Based Clinical Practice

$69.99

Reststoff-Controlling

$59.99

Semiempirical Methods of Electronic Structure Calculation

$54.99

Fundamentals of Artificial Intelligence Research

$39.99

Handelsrecht - Schnell erfasst

$24.99

Deutsche Gesellschaft fr Pharmakologie und Toxikologie

$54.99

War and the Transformation of Global Politics

$99.99

Einfhrung in die Quantenmechanik und ihre Anwendungen

$59.99

Investigators: The Sky: What's Up?

$4.46

Gasdynamik

$49.99

The Praxis of Indirect Reports

$109.99

Geronimo Stilton Journey Through Time: Lost in Time (#4) (Hardcover)

$12.74

The Encyclopedia of Chemical Electrode Potentials

$54.99

How to be a Successful Scientist

$49.99

Introduction to Multicopter Design and Control

$129.99

Interpretation as Pragmatics

$109.99

Techniques for Building Timing-Predictable Embedded Systems

$54.99

IT-Sicherheit fr TCP/IP- und IoT-Netzwerke

$34.99

Coronary Risk Factors in Japan and China

$54.99

Identifikation dynamischer Systeme 1

$69.99

Unternehmensforschung

$59.99

Vascular Plants as Epiphytes

$84.99

Ubiquitous Intelligence and Computing

$84.99

8th International Conference on Computing, Control and Industrial Engineering (CCIE2024)

$229.00

Index Data Structures in Object-Oriented Databases

$169.99

Transhumanism - Engineering the Human Condition

$37.99

Reliability and Risk Modeling of Engineering Systems

$179.99

Computational Intelligence, Communications, and Business Analytics

$89.99

Invariante Darstellung und Normalformen der linearen partiellen Differentialgleichungen zweiter Ordn

$49.99

Facility Management

$49.99

Spielanalyse im Sportspiel

$44.99

Advancements in Smart Computing and Information Security

$99.99

Mining Data for Financial Applications

$59.99

Additive Manufacturing of Emerging Materials

$139.00

Autoimmune Endocrinopathies

$169.99

Product Innovation in the Global Fashion Industry

$64.99

Ectopic Pregnancy

$54.99