Programmverifikation

Sequentielle, parallele und verteilte Programme

  • Krzysztof R. Apt
  • Ernst-Rüdiger Olderog

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

  • Krzysztof R. Apt
    • 1
  • Ernst-Rüdiger Olderog
    • 2
  1. 1.Centrum voor Wiskunde en Informatica (CWI)Stichting Mathematisch CentrumSJ AmsterdamThe Netherlands
  2. 2.Fachbereich InformatikUniversität OldenburgOldenburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-57947-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57479-8
  • Online ISBN 978-3-642-57947-9
  • Series Print ISSN 0937-7433
  • About this book