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.)

Buy this book

eBook $54.99
price for USA (gross)
  • 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 $69.99
price for USA
  • ISBN 978-3-540-09251-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (2 chapters)

  • On the foolishness of "natural language programming"

    Edsger W. Dijkstra

    Pages 51-53

  • Program inversion

    Edsger W. Dijkstra

    Pages 54-57

Buy this book

eBook $54.99
price for USA (gross)
  • 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 $69.99
price for USA
  • ISBN 978-3-540-09251-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

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