Program Construction

International Summer School

  • Editors
  • Friedrich L. Bauer
  • Manfred Broy
  • E. W. Dijkstra
  • S. L. Gerhart
  • D. Gries
  • M. Griffiths
  • J. V. Guttag
  • J. J. Horning
  • S. S. Owicki
  • C. Pair
  • H. Partsch
  • P. Pepper
  • M. Wirsing
  • H. Wössner
Book

Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)

Table of contents

  1. Front Matter
  2. Edsger W. Dijkstra
    Pages 1-20
  3. Edsger W. Dijkstra
    Pages 21-23
  4. Edsger W. Dijkstra
    Pages 47-48
  5. Edsger W. Dijkstra
    Pages 49-50
  6. Edsger W. Dijkstra
    Pages 54-57
  7. David Gries
    Pages 70-74
  8. David Gries
    Pages 94-99
  9. David Gries
    Pages 100-112
  10. David Gries
    Pages 113-124
  11. J. J. Horning
    Pages 125-132
  12. R. L. London, J. V. Guttag, J. J. Horning, B. W. Lampson, J. G. Mitchell, G. J. Popek
    Pages 133-163
  13. J. J. Horning
    Pages 164-173

About this book

Keywords

Programmierung (EDV) algorithm algorithms networks programming programming language semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0014649
  • Copyright Information Springer-Verlag 1979
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-09251-3
  • Online ISBN 978-3-540-35312-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Aerospace