Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 02024378

Verlag Cambridge University Press, Jänner 2012

This is a systematic and comprehensive introduction both to compositional proof methods for the stat... Vollständige Beschreibung

Libristo-Code: 02024378

265 b

108.19 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

64.90 €

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

Hardcover

27.89 €

Microextraccion liquido-liquido Carol Cortada

Broschur

88.39 €

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

binding.

27.09 €

Ainsi parlent les Français Julie Barlow

Broschur

27.29 €

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

binding.

9.79 €

María Blanchard BALTASAR MAGRO

Audio CD

26.29 €

Klinische Psychologie Bei Querschnittlahmung Wilhelm Strubreither

Hardcover

119.99 €

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

Broschur

43.79 €

Strukturen juristischer Argumentation. Christian Clemens

Broschur

50.09 €

Forstwirtschaftliche Insektenkunde E. L. Taschenberg

Broschur

52.90 €

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

Broschur

55.89 €

Gesprache uber Globalisierung und Zeitgeschichte Thomas Mitsch

Broschur

9.90 €

Im Auge der Sonne Barbara Wood

Broschur

9.99 €

Zur geschichte des weimarischen Theaters Ernst Wilhelm Weber

Broschur

35.89 €

Protozoologie M. Hartmann

Broschur

24.90 €

Tour du Mont Blanc 1:50 000

Karte

14.19 €

VW Bus Ken Cservenka

Broschur

12.69 €

30 Minuten Work-Life-Balance Lothar J. Seiwert

Broschur

9.90 €

Blutspurlos André Blum

Broschur

18.00 €

Kompetenzentwicklung in der beruflichen Aus- und Weiterbildung Heike Karolyi

Broschur

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Concurrency Verification

Autor Willem-Paul de RoeverFrank de BoerUlrich HannemanJozef Hooman

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 800

EAN 9780521169325

ISBN 0521169321

Libristo-Code 02024378

Verlag Cambridge University Press

Gewicht 1066

Abmessungen 154 x 228 x 42

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert