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

New Perspectives on Mind-Wandering

$109.99

Financial Deregulation

$129.00

Current and Future Directions in Applied Mathematics

$54.99

Praktisches Handbuch der Lichtbogenschweissung

$84.99

Quality in Higher Education

$39.99

Self-Service AI with Power BI Desktop

$69.99

Entzauberung des Politischen Urteils

$54.99

Medizinische Terminologie fr Hebammen

$34.99

Personal Branding

$49.99

ber die Extrapolation von Zeitstandversuchen

$54.99

Dynamic Stochastic Optimization

$109.99

Measurement and Analysis of Human Locomotion

$159.99

Archaeological Research on the Societies of Late Prehistoric Xinjiang, Vol 2

$129.99

Organic Photochromic and Thermochromic Compounds

$129.00

Ethnic Skin and Hair and Other Cultural Considerations

$169.99

Surgery of the Heart

$39.99

Zuwanderung im Zeichen der Globalisierung

$34.99

Intelligent Production and Manufacturing OptimisationThe Bees Algorithm Approach

$199.99

Gewalt in ffentlichen Rumen

$34.99

Digital Communications

$109.99

The Secret Sauce

$44.99

Algorithms and Data Structures in VLSI Design

$54.99

Hedley Bull On International Society

$84.99

Corporate Social Responsibility and the Three Sectors in Asia

$84.99

Science and Sensibilia by W. V. Quine

$89.99

Re-Visiting Angela Carter

$99.99

Mangroves in a Changing World: Adaptation and Resilience

$199.99

Die Kunst des wissenschaftlichen Prsentierens und Publizierens

$29.99

The Context of the Phenomenological Movement

$109.99

Supply Chain Engineering

$159.99

The Ecology of Herbivores in South and Southeast Asia

$169.99

Steigerung der Performance von Informatikprozessen

$54.99

Lectures in Modern Analysis and Applications I

$29.99

Otto Blumenthal: Ausgewhlte Briefe und Schriften I

$49.99

Choosing and Using Astronomical Filters

$39.99

Metallkunde fr das Maschinenwesen

$69.99

Horns, Pronghorns, and Antlers

$129.00

Rate Adaptive Cardiac Pacing

$169.99

Industrial PID Controller Tuning

$169.99

Innovation and Ontologies

$84.99