Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Concurrency Verification

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02024378

Nakladatelství Cambridge University Press, leden 2012

This is a systematic and comprehensive introduction both to compositional proof methods for the stat... Celý popis

Libristo kód: 02024378

241 b

2 414 Kč

Skladem u dodavatele Odesíláme za 9-15 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

1 692 Kč

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

Pevná

735 Kč

Microextraccion liquido-liquido Carol Cortada

Brožovaná

2 317 Kč

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

binding.

636 Kč

Ainsi parlent les Français Julie Barlow

Brožovaná

639 Kč

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

binding.

231 Kč

María Blanchard BALTASAR MAGRO

Audio CD

613 Kč

Klinische Psychologie Bei Querschnittlahmung Wilhelm Strubreither

Pevná

2 492 Kč

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

Brožovaná

1 025 Kč

Strukturen juristischer Argumentation. Christian Clemens

Brožovaná

1 168 Kč

Forstwirtschaftliche Insektenkunde E. L. Taschenberg

Brožovaná

1 075 Kč

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

Brožovaná

1 472 Kč

Gesprache uber Globalisierung und Zeitgeschichte Thomas Mitsch

Brožovaná

352 Kč

Zur geschichte des weimarischen Theaters Ernst Wilhelm Weber

Brožovaná

793 Kč

Protozoologie M. Hartmann

Brožovaná

651 Kč

Tour du Mont Blanc 1:50 000

Mapa

300 Kč

VW Bus Ken Cservenka

Brožovaná

295 Kč

Blutspurlos André Blum

Brožovaná

370 Kč

Kompetenzentwicklung in der beruflichen Aus- und Weiterbildung Heike Karolyi

Brožovaná

369 Kč

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.