Don’t miss it: Get 40% off Education & Linguistics books! Save through November 30, 2018.

Nato Science Series C:

Theoretical Foundations of Programming Methodology

Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Editors: Broy, M., Schmidt, Günther (Eds.)

Buy this book

eBook 53,54 €
price for France (gross)
  • ISBN 978-94-009-7893-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 84,35 €
price for France (gross)
  • ISBN 978-90-277-1460-2
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover 68,56 €
price for France (gross)
  • ISBN 978-90-277-1462-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (18 chapters)

  • Smoothsort, an Alternative for Sorting in Situ

    Dijkstra, Edsger W.

    Pages 3-17

    Preview Buy Chapter 29,94 €
  • Lambek and Moser Revisited

    Dijkstra, Edsger W.

    Pages 19-23

    Preview Buy Chapter 29,94 €
  • A General Axiom of Assignment

    Morris, Joseph M.

    Pages 25-34

    Preview Buy Chapter 29,94 €
  • Assignment and Linked Data Structures

    Morris, Joseph M.

    Pages 35-41

    Preview Buy Chapter 29,94 €
  • A Proof of the Schorr-Waite Algorithm

    Morris, Joseph M.

    Pages 43-51

    Preview Buy Chapter 29,94 €

Buy this book

eBook 53,54 €
price for France (gross)
  • ISBN 978-94-009-7893-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 84,35 €
price for France (gross)
  • ISBN 978-90-277-1460-2
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover 68,56 €
price for France (gross)
  • ISBN 978-90-277-1462-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theoretical Foundations of Programming Methodology
Book Subtitle
Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare
Editors
  • M. Broy
  • Günther Schmidt
Series Title
Nato Science Series C:
Series Volume
91
Copyright
1982
Publisher
Springer Netherlands
Copyright Holder
D. Reidel Publishing Company, Dordrecht, Holland
eBook ISBN
978-94-009-7893-5
DOI
10.1007/978-94-009-7893-5
Hardcover ISBN
978-90-277-1460-2
Softcover ISBN
978-90-277-1462-6
Series ISSN
1389-2185
Edition Number
1
Number of Pages
672
Topics