Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

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

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 $54.99
price for USA in USD (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 $69.99
price for USA in USD
  • 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