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

Partial-Order Methods for the Verification of Concurrent Systems

Partial-Order Methods for the Verification of Concurrent Systems

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

This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Lige, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification.

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

Transnational Common Goods

$39.99

Humanitarian Intervention after Kosovo

$54.99

Surveillance, Militarism and Drama in the Elizabethan Era

$69.99

Cell Interactions in Visual Development

$84.99

Soziologie des Jugendalters

$59.99

Subspace, Latent Structure and Feature Selection

$54.99

Gems of Combinatorial Optimization and Graph Algorithms

$99.99

Die Forsteinrichtung

$59.99

Image Analysis

$89.99

Betriebsorganisation

$59.99

Coaching als Integrationsinstrument bei Mergers and Acquisitions

$59.99

When Singapore Fell

$84.99

Introduction to Data Science

$49.99

Operative Zugnge der Osteosynthese

$79.99

Network-Based Parallel Computing - Communication, Architecture, and Applications

$54.99

International Securities Lending

$219.99

Buspiron (Bespar)

$59.99

Vanderbilt- The Rise and Fall of an American Dynasty by Anderson Cooper

$21.99

AI Technologies and Virtual Reality

$249.99

Interactive Theorem Proving

$39.99

Toxicities of Radiation Treatment for Breast Cancer

$79.99

Mixed Methods

$24.99

Parallel Computing in Science and Engineering

$39.99

Science and Innovation as Strategic Tools for Industrial and Economic Growth

$39.99

Trachten der Schweiz

$74.99

cryoEM

$169.99

Empirische Preisabsatzfunktionen bei Konsumgtern

$69.99

The Critical Handbook of Money Laundering

$169.99

Commercial Aviation in the Jet Era and the Systems that Make it Possible

$34.99

Graphs and Tables for Use in Radiology / Kurven und Tabellen fr die Radiologie / Graphiques et Tabl

$39.99

Sales Enablement

$34.99

Prevention of Skin Cancer

$169.99

The Yard Sale

$3.71

Taschenbuch fr den Fabrikbetrieb

$59.99

Internet of Things, Infrastructures and Mobile Applications

$219.99

Jesus Calling- Enjoying Peace in His Presence by Sarah Young

$26.99

Islam, Security and Television News

$54.99

Health Insurance

$54.99

The Politics of International Environmental Management

$129.00

Basic and Translational Applications of the Network Theory for Dystonia

$199.99