Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Concurrency Verification

Name: Concurrency Verification
Brand: Cambridge University Press
SKU: 02024378
Price: 108.19 EUR
Availability: InStock
Author: Willem-Paul de RoeverFrank de BoerUlrich HannemanJozef Hooman
ISBN: 9780521169325

Introduction to Compositional and Non-compositional Methods

Willem-Paul de RoeverFrank de BoerUlrich HannemanJozef Hooman

Language

English

Book Paperback

Libristo code: 02024378

Publishers Cambridge University Press, January 2012

This is a systematic and comprehensive introduction both to compositional proof methods for the stat... Full description

Libristo code: 02024378

265 b

108.19 € VAT included

In stock at our supplier Shipping in 9-15 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Seperate Opinion und Sondervotum in der Rechtsprechung des Supreme Court of the United States und des Bundesverfassungsgerichts. Karl-Heinz Millgramm

Paperback

64.90 €

RONDO - Das Liederbuch für die Grundschule - 1./2. Schuljahr, Schülerbuch Othmar Kist

Hardback

27.89 €

Microextraccion liquido-liquido Carol Cortada

Paperback

88.39 €

CHAMBER MUSIC FOR/ KAMMERMUSIK FUR VIOLONCELLI 6 -PARTITION+PARTIES SEPAREES ARPAD PEJTSIK Book

binding.

27.09 €

Ainsi parlent les Français Julie Barlow

Paperback

27.29 €

BERTHOLD TOURS: COMMUNION SERVICE IN F SATB/ORGAN CHANT TOURS Book

binding.

9.79 €

María Blanchard BALTASAR MAGRO

Audio CD

26.29 €

Klinische Psychologie Bei Querschnittlahmung Wilhelm Strubreither

Hardback

119.99 €

Entdecken und verstehen - Gesellschaftslehre/Weltkunde - Hamburg, Mecklenburg-Vorpommern, Niedersachsen und Schleswig-Holstein - Band 1: 5./6. Schulja Thomas Berger von der Heide

Paperback

43.79 €

Strukturen juristischer Argumentation. Christian Clemens

Paperback

50.09 €

Forstwirtschaftliche Insektenkunde E. L. Taschenberg

Paperback

52.90 €

Tsitokiny i ikh rol' v razvitii immunooposredovannykh zabolevaniy Bolevich S B

Paperback

55.89 €

Gesprache uber Globalisierung und Zeitgeschichte Thomas Mitsch

Paperback

9.90 €

Im Auge der Sonne Barbara Wood

Paperback

9.99 €

Zur geschichte des weimarischen Theaters Ernst Wilhelm Weber

Paperback

35.89 €

Protozoologie M. Hartmann

Paperback

24.90 €

Tour du Mont Blanc 1:50 000

Map

14.19 €

VW Bus Ken Cservenka

Paperback

12.69 €

30 Minuten Work-Life-Balance Lothar J. Seiwert

Paperback

9.90 €

Blutspurlos André Blum

Paperback

18.00 €

Kompetenzentwicklung in der beruflichen Aus- und Weiterbildung Heike Karolyi

Paperback

17.95 €

This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. This 2001 book is self-contained, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.