Lecture Notes in Computer Science

Program Construction

International Summer School

Authors: Bauer, F.L., Dijkstra, E.W., Gerhart, S.L., Gries, D., Griffiths, M., Guttag, J.V., Horning, J.J., Owicki, S.S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.

Editors: Bauer, Friedrich L., Broy, M. (Eds.)

Free Preview

Buy this book

eBook 39,58 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-35312-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 48,87 €
price for Spain (gross)
  • ISBN 978-3-540-09251-3
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (36 chapters)

Table of contents (36 chapters)
  • A more formal treatment of a less simple example

    Pages 1-20

    Dijkstra, Edsger W.

  • Stationary behaviour of some ternary networks

    Pages 21-23

    Dijkstra, Edsger W.

  • Finding the correctness proof of a concurrent program

    Pages 24-34

    Dijkstra, Edsger W.

  • On the interplay between mathematics and programming

    Pages 35-46

    Dijkstra, E. W.

  • A theorem about odd powers of odd integers

    Pages 47-48

    Dijkstra, Edsger W.

Buy this book

eBook 39,58 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-35312-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 48,87 €
price for Spain (gross)
  • ISBN 978-3-540-09251-3
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Program Construction
Book Subtitle
International Summer School
Authors
Editors
  • Friedrich L. Bauer
  • M. Broy
Series Title
Lecture Notes in Computer Science
Series Volume
69
Copyright
1979
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-35312-6
DOI
10.1007/BFb0014649
Softcover ISBN
978-3-540-09251-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 654
Topics