Advertisement

Table of contents

  1. Front Matter
  2. C. P. Earnest
    Pages 85-101
  3. Benjamin M. Brosgol
    Pages 102-130
  4. John R. Nestor
    Pages 131-170
  5. Alan J. Demers, James E. Donahue, Ray T. Teitelbaum, John H. Williams
    Pages 171-214
  6. Charles N. Fischer, Richard J. LeBlanc
    Pages 215-230
  7. Jack B. Dennis
    Pages 231-242
  8. Gregory R. Andrews, James R. McGraw
    Pages 243-287
  9. Jean D. Ichbiah, Guy Ferran
    Pages 288-297
  10. Timothy A. Dreisbach, Larry Weissman
    Pages 298-312
  11. John B. Goodenough
    Pages 335-344
  12. Frederic Richard, Henry F. Ledgard
    Pages 345-389
  13. Arthur Evans Jr., C. Robert Morgan
    Pages 390-398
  14. T. E. Cheatham Jr.
    Pages 399-435
  15. J. J. Horning
    Pages 444-444

About these proceedings

Keywords

Computer Design Programmiersprache optimization programming programming language verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0021415
  • Copyright Information Springer-Verlag Berlin Heidelberg 1977
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-08360-3
  • Online ISBN 978-3-540-37260-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications