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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Concurrency Verification

Name: Concurrency Verification
Brand: Cambridge University Press
SKU: 02044173
Price: 292.89 EUR
Availability: InStock
Author: Willem-Paul de Roever
ISBN: 9780521806084

Introduction to Compositional and Non-compositional Methods

Willem-Paul de Roever

Frank de Boer

Ulrich Hanneman

Hooman

Jozef (Katholieke Universiteit Nijmegen

The Netherlands)

Yassine (Universite Joseph Fourier) Lakhnech

Poel

Mannes (University of Twente

Sprache

Englisch

Buch Hardcover

Libristo-Code: 02044173

Verlag Cambridge University Press, November 2001

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

Libristo-Code: 02044173

717 b

292.89 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Las 500 dudas más frecuentes del espa?ol Intituto Cervantes

Broschur

13.99 €

Du Parjure Sous Louis XVIII, Suivi de Quelques Observations Sur Les Adresses Birotteau-A-P-N

Broschur

14.19 €

Orkiestra z Auschwitz Marcin Lwowski

Broschur

9.39 €

Trötsch Schultüte 50 cm Einhorn Trötsch Verlag GmbH & Co.KG

Papier- und Schreibwaren

9.49 €

Quo vadis ecclesia? Peter Zeh

Broschur

19.90 €

Archiv für Anthropologie, Völkerforschung und kolonialen Kulturwandel

Hardcover

129.90 €

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 Roever, Frank de Boer, Ulrich Hanneman, Hooman, Jozef (Katholieke Universiteit Nijmegen, The Netherlands), Yassine (Universite Joseph Fourier) Lakhnech, Poel, Mannes (University of Twente, E

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2001

Anzahl der Seiten 800

EAN 9780521806084

ISBN 0521806089

Libristo-Code 02044173

Verlag Cambridge University Press

Gewicht 1175

Abmessungen 152 x 229 x 43

Kategorie

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation > Verteilte Systeme

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