Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Concurrency Verification

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

Език

Английски език

Книга С меки корици

Код Либристо: 02024378

Издателство Cambridge University Press, януари 2012

This is a systematic and comprehensive introduction both to compositional proof methods for the stat... Цялото описание

Код Либристо: 02024378

253 b

104.74 €

204.85 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

64.71 € 126.57 лв

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

С твърди корици

28.32 € 55.38 лв

Microextraccion liquido-liquido Carol Cortada

С меки корици

89.51 € 175.07 лв

CHAMBER MUSIC FOR/ KAMMERMUSIK FUR VIOLONCELLI 6 -PARTITION+PARTIES SEPAREES ARPAD PEJTSIK Книга

binding.

27.49 € 53.76 лв

Ainsi parlent les Français Julie Barlow

С меки корици

27.59 € 53.96 лв

BERTHOLD TOURS: COMMUNION SERVICE IN F SATB/ORGAN CHANT TOURS Книга

binding.

9.99 € 19.53 лв

María Blanchard BALTASAR MAGRO

Аудио компактдиск

26.66 € 52.14 лв

Klinische Psychologie Bei Querschnittlahmung Wilhelm Strubreither

С твърди корици

113.95 € 222.87 лв

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

С меки корици

44.37 € 86.77 лв

Strukturen juristischer Argumentation. Christian Clemens

С меки корици

50.68 € 99.13 лв

Forstwirtschaftliche Insektenkunde E. L. Taschenberg

С меки корици

50.01 € 97.81 лв

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

С меки корици

56.59 € 110.67 лв

Gesprache uber Globalisierung und Zeitgeschichte Thomas Mitsch

С меки корици

9.57 € 18.72 лв

Im Auge der Sonne Barbara Wood

С меки корици

9.68 € 18.93 лв

Zur geschichte des weimarischen Theaters Ernst Wilhelm Weber

С меки корици

34.58 € 67.63 лв

Protozoologie M. Hartmann

С меки корици

23.71 € 46.37 лв

Tour du Mont Blanc 1:50 000

Карта

14.34 € 28.04 лв

VW Bus Ken Cservenka

С меки корици

12.89 € 25.20 лв

30 Minuten Work-Life-Balance Lothar J. Seiwert

С меки корици

9.57 € 18.72 лв

Blutspurlos André Blum

С меки корици

17.18 € 33.61 лв

Kompetenzentwicklung in der beruflichen Aus- und Weiterbildung Heike Karolyi

С меки корици

17.13 € 33.51 лв

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.