Advertisement

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
  14. F. L. Bauer, M. Broy, H. Partsch, P. Pepper, H. Wössner
    Pages 273-289
  15. H. Wössner, P. Pepper, H. Partsch, F. L. Bauer
    Pages 290-321
  16. P. Pepper
    Pages 322-405
  17. H. Partsch, M. Broy
    Pages 421-463
  18. Michael Griffiths
    Pages 464-471
  19. Michael Griffiths
    Pages 531-542
  20. F. L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brücknert, H. Partsch et al.
    Pages 543-552
  21. M. Broy, R. Gnatz, M. Wirsing
    Pages 553-592
  22. John Guttag
    Pages 593-616

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 Berlin Heidelberg 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
  • Buy this book on publisher's site