. .
Français
France
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
Annonce payée
FILTRE
- 0 Résultats
prix le plus bas: 25,88 €, prix le plus élevé: 330,95 €, prix moyen: 133,31 €
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - Roever, Willem-Paul De Boer, Frank de Hanneman, Ulrich
Livre non disponible
(*)
Roever, Willem-Paul De Boer, Frank de Hanneman, Ulrich:

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - edition reliée, livre de poche

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

Nouveaux livres Booklooker.de
buecher.de GmbH & Co. KG
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman
Livre non disponible
(*)

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

Concurrency Verification: Introduction to Compositional and Non-compositional Methods - nouveau livre

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

Nouveaux livres Indigo.ca
new Free shipping on orders above $25 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - de Roever, Willem-Paul / de Boer, Frank / Hooman, Jozef
Livre non disponible
(*)
de Roever, Willem-Paul / de Boer, Frank / Hooman, Jozef:
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - livre d'occasion

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

livre d'occasion Betterworldbooks.com
Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
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
Livre non disponible
(*)
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) - edition reliée, livre de poche

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

Nouveaux livres Amazon.de (Intern...
Nearfine
, Neuware Frais d'envoiInnerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
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
Livre non disponible
(*)
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) - edition reliée, livre de poche

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

livre d'occasion Amazon.de (Intern...
betterworldbooks__
Gebraucht Frais d'envoiInnerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

< Retour aux résultats de recherche...
Détails sur le livre
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
Auteur:

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

Titre:

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

ISBN:

0521806089

Informations détaillées sur le livre - Concurrency Verification: Introduction to Compositional and Non-Compositional Methods


EAN (ISBN-13): 9780521806084
ISBN (ISBN-10): 0521806089
Version reliée
Livre de poche
Date de parution: 2001
Editeur: CAMBRIDGE UNIV PR
798 Pages
Poids: 1,161 kg
Langue: eng/Englisch

Livre dans la base de données depuis 05.06.2007 20:26:25
Livre trouvé récemment le 14.12.2016 19:40:04
ISBN/EAN: 0521806089

ISBN - Autres types d'écriture:
0-521-80608-9, 978-0-521-80608-4

< Retour aux résultats de recherche...
< pour archiver...
Adjacent Livres