. .
English
United States
Similar books
More/other books that might be very similar to this book
Search tools
Sign in
Share this book on...
Book recommendations
Latest news
Tip from find-more-books.com
Advertising
Paid advertisement
FILTER
- 0 Results
Lowest price: 25.88 €, highest price: 330.95 €, average price: 133.31 €
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - Roever, Willem-Paul De Boer, Frank de Hanneman, Ulrich
book is out-of-stock
(*)
Roever, Willem-Paul De Boer, Frank de Hanneman, Ulrich:

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - hardcover

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

New book Booklooker.de
buecher.de GmbH & Co. KG
Shipping costs:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman
book is out-of-stock
(*)

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

Concurrency Verification: Introduction to Compositional and Non-compositional Methods - new book

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

New book Indigo.ca
new Free shipping on orders above $25 Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - de Roever, Willem-Paul / de Boer, Frank / Hooman, Jozef
book is out-of-stock
(*)
de Roever, Willem-Paul / de Boer, Frank / Hooman, Jozef:
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - used book

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

Used Book Betterworldbooks.com
Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
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
book is out-of-stock
(*)
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) - hardcover

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

New book Amazon.de (Intern...
Nearfine
, Neuware Shipping costs:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
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
book is out-of-stock
(*)
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) - hardcover

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

Used Book Amazon.de (Intern...
betterworldbooks__
Gebraucht Shipping costs:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

< to search results...
Details of the book
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
Author:

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

Title:

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

ISBN:

9780521806084

Details of the book - Concurrency Verification: Introduction to Compositional and Non-Compositional Methods


EAN (ISBN-13): 9780521806084
ISBN (ISBN-10): 0521806089
Hardcover
Paperback
Publishing year: 2001
Publisher: CAMBRIDGE UNIV PR
798 Pages
Weight: 1,161 kg
Language: eng/Englisch

Book in our database since 05.06.2007 20:26:25
Book found last time on 14.12.2016 19:40:04
ISBN/EAN: 9780521806084

ISBN - alternate spelling:
0-521-80608-9, 978-0-521-80608-4

< to search results...
< to archive...
Nearby books