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

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Reading U.S. Latina Writers

$39.99

Uterine Adenomyosis

$109.99

Endoprothetik des Sprunggelenks

$269.00

Astronaut Annie

$7.46

The Hillsong Movement Examined

$159.99

Umrisse zu Gthes Hermann und Dorothea

$54.99

CCE: An Integration Platform for Distributed Manufacturing Applications

$109.99

The World of Mineral Deposits

$49.99

50 Years of DNA

$49.99

Modulare Unternehmensfhrung 1

$44.99

Womens Narratives and the Postmemory of Displacement in Central and Eastern Europe

$119.99

Germ-Free Biology Experimental and Clinical Aspects

$109.99

Peptides

$84.99

Artificial Life

$169.99

State of the Art in Applied Cryptography

$39.99

The Backstagers: The Backstagers and the Theater of the Ancients

$5.21

Urban Heritage Along the Silk Roads

$169.99

A Friend for Dragon: An Acorn Book (Dragon #1)

$3.74

Data Journalism in the Global South

$139.99

The Ethics and Economics of the Capability Approach

$99.00

konomie ohne Rtsel

$49.99

Innovation and Social Learning

$54.99

Gravity, Weight and Their Absence

$54.99

Interkulturelles Management

$44.99

Urban and Regional Planning in Turkey

$169.99

Betonpfahl System Mast

$59.99

The Dispute Over the Diaoyu/Senkaku Islands

$39.99

Advances in Soft Computing

$39.99

Computational Collective Intelligence

$54.99

Lorenz Oken Gesammelte Werke

$149.00

Handbook of Quantitative Supply Chain Analysis

$169.00

Jahresbericht ber die Beobachtungs - Ergebnisse

$59.99

Wahrnehmung der eigenen Prekaritt

$59.99

bergewicht und Adipositas bei Kindern und Jugendlichen

$69.99

Refractory Metal Systems

$549.99

Essays in Phenomenology

$54.99

Biochemistry of Nickel

$169.00

Devices Based on Low-Dimensional Semiconductor Structures

$219.99

Statistics and Data Analysis for Financial Engineering

$129.99

Financing Parking Facilities

$109.99