An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/neu
