Free delivery for orders over 69.99 euro.

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

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Concurrency Verification

Name: Concurrency Verification
Brand: Cambridge University Press
SKU: 02024378
Price: 104.8 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

253 b

104.80 €

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

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

Paperback

61.35 €

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

Hardback

26.93 €

Microextraccion liquido-liquido Carol Cortada

Paperback

84.54 €

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

binding.

26.32 €

Ainsi parlent les Français Julie Barlow

Paperback

26.42 €

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

binding.

9.51 €

María Blanchard BALTASAR MAGRO

Audio CD

25.31 €

Klinische Psychologie Bei Querschnittlahmung Wilhelm Strubreither

Hardback

113.91 €

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

Paperback

42.42 €

Strukturen juristischer Argumentation. Christian Clemens

Paperback

48.29 €

Forstwirtschaftliche Insektenkunde E. L. Taschenberg

Paperback

47.28 €

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

Paperback

53.46 €

Gesprache uber Globalisierung und Zeitgeschichte Thomas Mitsch

Paperback

9.00 €

Im Auge der Sonne Barbara Wood

Paperback

9.10 €

Zur geschichte des weimarischen Theaters Ernst Wilhelm Weber

Paperback

34.62 €

Protozoologie M. Hartmann

Paperback

22.37 €

Tour du Mont Blanc 1:50 000

Map

13.76 €

VW Bus Ken Cservenka

Paperback

12.24 €

30 Minuten Work-Life-Balance Lothar J. Seiwert

Paperback

9.00 €

Blutspurlos André Blum

Paperback

16.29 €

Kompetenzentwicklung in der beruflichen Aus- und Weiterbildung Heike Karolyi

Paperback

16.19 €

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.