Advertisement

© 1994

Programmverifikation

Sequentielle, parallele und verteilte Programme

Textbook
  • 398 Downloads

Part of the Springer-Lehrbuch book series (SLB)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Krzysztof R. Apt, Ernst-Rüdiger Olderog
    Pages 1-13
  3. Krzysztof R. Apt, Ernst-Rüdiger Olderog
    Pages 15-34
  4. Krzysztof R. Apt, Ernst-Rüdiger Olderog
    Pages 35-84
  5. Krzysztof R. Apt, Ernst-Rüdiger Olderog
    Pages 85-106
  6. Krzysztof R. Apt, Ernst-Rüdiger Olderog
    Pages 107-146
  7. Krzysztof R. Apt, Ernst-Rüdiger Olderog
    Pages 147-186
  8. Krzysztof R. Apt, Ernst-Rüdiger Olderog
    Pages 187-206
  9. Krzysztof R. Apt, Ernst-Rüdiger Olderog
    Pages 207-232
  10. Back Matter
    Pages 233-259

About this book

Keywords

Fairneßannahmen Operationelle Semantik Programmtransformation Programmverifikation Semantik Syntax-gerichtete Verifikationsregeln Variable Verifikation partielle und totale Programmkorrektheit

Authors and affiliations

  1. 1.Centrum voor Wiskunde en Informatica (CWI)Stichting Mathematisch CentrumSJ AmsterdamThe Netherlands
  2. 2.Fachbereich InformatikUniversität OldenburgOldenburgGermany

Bibliographic information