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

Management of Software Engineering Innovation in Japan

$39.99

O Tempora, o Mores

$59.99

Tipps & Tricks fr den Orthopden

$54.99

Critical Neuroscience and Philosophy

$99.99

Contemporary Black British Playwrights

$79.99

Race, Ethnicity, Crime and Criminal Justice in the Americas

$54.99

A New Logical Foundation for Psychology

$59.99

Matrices in Combinatorics and Graph Theory

$109.99

Advanced Data Mining and Applications

$84.99

Dnnschicht-Chromatographie

$59.99

Accountants Professional Negligence

$54.99

SolidWorks fr Einsteiger kurz und bndig

$24.99

Flow-Induced Instabilities of Reversible Pump Turbines

$49.99

Kongenitale Strungen des Wasser- und Elektrolythaushaltes

$59.99

Computer Models for Facial Beauty Analysis

$109.99

Unbound

$6.74

Mehrsprachigkeit und Literalitt in der Kindertagessttte

$59.99

Posing and Solving Mathematical Problems

$199.99

Mll - Die gesellschaftliche Konstruktion des Wertvollen

$39.99

Physics and Techniques of Ceramic and Polymeric Materials

$149.00

Vaccine Science and Immunization Guideline

$129.99

Oceanology of China Seas

$109.99

Managing Distributed Cloud Applications and Infrastructure

$59.99

Bewertung von Eigentumswohnungen

$59.99

Handbuch zur Abrechnung von Krankenhausleistungen

$189.00

Smart Antennas

$149.00

Data Base Management: Theory and Applications

$129.00

The Plant Viruses

$84.99

Warenwirtschaftssysteme

$69.99

Finite Elements II

$69.99

New Trends in Magnetism, Magnetic Materials, and Their Applications

$219.99

Fostering Innovation for Agriculture 4.0

$79.99

Patterns of Rationality

$54.99

Florence Nightingale at Home

$29.99

Risikoneutrale Unternehmensbewertung und Multiplikatoren

$69.99

The Economic System of the Early Islamic Period

$129.99

Homers Odyssee psychologisch erzhlt

$39.99

240 Vocabulary Words Kids Need to Know: Grade 5

$9.74

Identity as Resilience in Minoritized Communities

$139.99

India and Central Europe

$129.99