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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Concurrency Verification

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

230 b

93.89 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

binding.

21.79 €

Ainsi parlent les Français Julie Barlow

Broschur

21.89 €

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

binding.

7.39 €

María Blanchard BALTASAR MAGRO

Audio CD

21.19 €

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

Broschur

37.79 €

Strukturen juristischer Argumentation. Christian Clemens

Broschur

54.90 €

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

Broschur

74.90 €

Educazione fisica nell'istruzione superiore Shamshidin Yalgashewich Khusainov

Broschur

57.89 €

Monumenta Hungariae Historica GusztÃ¡v Wenzel

Broschur

23.19 €

Gesprache uber Globalisierung und Zeitgeschichte Thomas Mitsch

Broschur

9.90 €

Protozoologie M. Hartmann

Broschur

24.90 €

Tour du Mont Blanc 1:50 000

Karte

10.99 €

30 Minuten Work-Life-Balance Lothar J. Seiwert

Broschur

9.90 €

Kompetenzentwicklung in der beruflichen Aus- und Weiterbildung Heike Karolyi

Broschur

17.95 €

Forstwirtschaftliche Insektenkunde E. L. Taschenberg

Broschur

52.90 €

Blutspurlos André Blum

Broschur

18.00 €

Klinische Psychologie Bei Querschnittlahmung Wilhelm Strubreither

Hardcover

119.99 €

Im Auge der Sonne Barbara Wood

Broschur

9.99 €

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

Broschur

49.69 €

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

Hardcover

25.50 €

Zur geschichte des weimarischen Theaters Ernst Wilhelm Weber

Broschur

30.69 €

Microextraccion liquido-liquido Carol Cortada

Broschur

78.59 €

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