. .
Deutsch
Deutschland
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 25.88 EUR, größter Preis: 348.99 EUR, Mittelwert: 240.88 EUR
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - Roever, Willem-Paul De Boer, Frank de Hanneman, Ulrich
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Roever, Willem-Paul De Boer, Frank de Hanneman, Ulrich:

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - gebunden oder broschiert

ISBN: 9780521806084

[ED: Hardcover], [PU: CAMBRIDGE UNIV PR], 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. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text. Table of contents: Preface Part I. Introduction and Overview: 1. Introduction Part II. The Inductive Assertion Method: 2. Floyd's inductive assertion method for transition diagrams 3. The inductive assertion method for shared-variable concurrency 4. The inductive assertion method for synchronous message passing 5. Expressibility and relative completeness Part III. Compositional Proof Methods: 6. Introduction to compositional reasoning 7. Compositional proof methods: synchronous message passing 8. Compositional proof methods: shared-variable concurrency Part IV. Hoare Logic: 9. A proof system for sequential programs using Hoare triples 10. A Hoare logic for shared-variable concurrency 11. A Hoare logic for synchronous message passing Part V. Layered Design: 12. Transformational design and Hoare logic Bibliography Glossary of symbols Index. This is the first introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text. Advanced textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly. 798 pages - 5 tables 156 exercises 84 figures Versandfertig in über 4 Wochen, [SC: 0.00], Neuware, gewerbliches Angebot

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman:

Concurrency Verification: Introduction to Compositional and Non-compositional Methods - neues Buch

ISBN: 9780521806084

ID: 978052180608

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. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject''s key figures complements the text. Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Books, Computers, General Computing, Concurrency Verification: Introduction to Compositional and Non-compositional Methods Books>Computers>General Computing, Cambridge University Press

Neues Buch Indigo.ca
new Free shipping on orders above $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - de Roever, Willem-Paul / de Boer, Frank / Hooman, Jozef
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
de Roever, Willem-Paul / de Boer, Frank / Hooman, Jozef:
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - gebrauchtes Buch

ISBN: 9780521806084

ID: 1778794

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. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text. Concurrency Verification: Introduction to Compositional and Non-Compositional Methods de Roever, Willem-Paul / de Boer, Frank / Hooman, Jozef, Cambridge University Press

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - Willem-Paul de Roever#Frank de Boer#Jozef Hooman
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Willem-Paul de Roever#Frank de Boer#Jozef Hooman:
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - neues Buch

ISBN: 9780521806084

ID: 197448877

Advanced textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly. Introduction to Compositional and Non-Compositional Methods Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Cambridge University Press

Neues Buch Thalia.de
No. 5096490 Versandkosten:, Versandfertig in 1 - 2 Wochen, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Willem-Paul de Roever
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Willem-Paul de Roever:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - gebunden oder broschiert

ISBN: 9780521806084

ID: 9780521806084

Concurrency Verification: Introduction to Compositional and Non-compositional Methods Concurrency-Verification~~Willem-Paul-de-Roever Computers>Xxxsoftware Engr>* Desc Unknown Hardcover, Cambridge University Press

Neues Buch Barnesandnoble.com
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
Autor:

de Roever, Willem-Paul; de Boer, Frank; Hooman, Jozef

Titel:

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

ISBN-Nummer:

0521806089

Detailangaben zum Buch - Concurrency Verification: Introduction to Compositional and Non-Compositional Methods


EAN (ISBN-13): 9780521806084
ISBN (ISBN-10): 0521806089
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2001
Herausgeber: CAMBRIDGE UNIV PR
798 Seiten
Gewicht: 1,161 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 05.06.2007 20:26:25
Buch zuletzt gefunden am 31.10.2016 13:36:27
ISBN/EAN: 0521806089

ISBN - alternative Schreibweisen:
0-521-80608-9, 978-0-521-80608-4

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher