. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 0521806089 ankaufen:
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: 47,45 €, größter Preis: 330,95 €, Mittelwert: 183,96 €
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 (Cambridge Tracts in Theoretical Computer Science, Band 54) - Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Band 54) - gebunden oder broschiert

ISBN: 0521806089

[SR: 2323310], Gebundene Ausgabe, [EAN: 9780521806084], Cambridge University Press, Cambridge University Press, Book, [PU: Cambridge University Press], Cambridge University Press, 63705011, Parallelverarbeitende Rechner, 63681011, Hardware, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63117011, Netzwerke, Protokolle & APIs, 63116011, Netzwerke, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63418011, Sprachen & Tools, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher

Neues Buch Amazon.de (Intern...
Nearfine
, Neuware Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.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 (Cambridge Tracts in Theoretical Computer Science, Band 54) - Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Band 54) - gebunden oder broschiert

ISBN: 0521806089

[SR: 2323310], Gebundene Ausgabe, [EAN: 9780521806084], Cambridge University Press, Cambridge University Press, Book, [PU: Cambridge University Press], Cambridge University Press, 63705011, Parallelverarbeitende Rechner, 63681011, Hardware, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63117011, Netzwerke, Protokolle & APIs, 63116011, Netzwerke, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63418011, Sprachen & Tools, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
betterworldbooks__
Gebraucht Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Concurrency Verification - Willem-Paul de Roever; Frank De Boer; Ulrich Hanneman; Jozef Hooman
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Willem-Paul de Roever; Frank De Boer; Ulrich Hanneman; Jozef Hooman:
Concurrency Verification - gebunden oder broschiert

2001, ISBN: 9780521806084

ID: 2744954

Hardcover, Buch, [PU: Cambridge University Press]

Neues Buch Lehmanns.de
Versandkosten:Versand in 15-20 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

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:

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 01.02.2017 10:21:59
ISBN/EAN: 0521806089

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


< zum Archiv...
Benachbarte Bücher