Table of contents

  1. Front Matter
  2. C. A. R. Hoare
    Pages 1-18
  3. A. Marchetti-Spaccamela
    Pages 101-115
  4. Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio
    Pages 116-128
  5. Jieh Hsiang, Mandayam Srivas
    Pages 129-149
  6. Dieter Armbruster
    Pages 150-161
  7. Shankar M. Venkatesan
    Pages 162-175
  8. Jack Veenstra, Narendra Ahuja
    Pages 196-211
  9. Zohar Manna, Richard Waldinger
    Pages 212-224
  10. Finn V. Jensen, Kim G. Larsen
    Pages 225-245
  11. S. Khosla, T. S. E. Maibaum, M. Sadler
    Pages 246-271
  12. Rani Siromoney, V. Rajkumar Dare
    Pages 290-302

About these proceedings

Keywords

Computer Resolution Software algorithm algorithms design distributed computing logic object optimization programming semantics testing theorem proving theoretical computer science

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-16042-6
  • Copyright Information Springer-Verlag 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16042-7
  • Online ISBN 978-3-540-39722-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace