Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ä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
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 24,78 €, größter Preis: 379,99 €, Mittelwert: 187,61 €
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, Concurrency Verification: Introduction to Compositional and Non-compositional Methods Books>Computers, Cambridge University Press

Neues Buch Indigo.ca
new Free shipping on orders above $25 Versandkosten:plus shipping costs, 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:plus shipping costs, 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

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: 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: 777766894

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 - 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

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 17.07.2017 21:33:02
ISBN/EAN: 0521806089

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


< zum Archiv...
Benachbarte Bücher