Table of contents

  1. Front Matter
  2. F. T. Baker
    Pages 38-86
  3. H. Gerstmann, H. Diel, W. Witzel
    Pages 87-113
  4. Harwood G. Kolsky
    Pages 161-191
  5. Zohar Manna, Richard Waldinger
    Pages 236-277
  6. James C. King
    Pages 278-290
  7. Patricia C. Goldberg
    Pages 347-361
  8. B. M. Leavenworth
    Pages 362-385
  9. C. B. Jones
    Pages 387-443
  10. R. Gnatz
    Pages 444-465

About these proceedings

Keywords

D programming language computer science construction development form history of mathematics procedural programming program synthesis programming programming language reliability software software engineering story testing

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-07131-8
  • Copyright Information Springer-Verlag 1975
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-07131-0
  • Online ISBN 978-3-540-37401-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Aerospace