Advertisement

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
  13. Vijay A. Saraswat
    Pages 347-368
  14. Eugene W. Stark
    Pages 369-391
  15. Jose M. Mata, Gopalakrishnan Vijayan
    Pages 412-427
  16. Kam Hoi Cheng, Sartaj Sahni
    Pages 428-456
  17. S. Lakshmivarahan, Sudarshan K. Dhall
    Pages 457-476
  18. Deepak D. Sherlekar, Shaunak Pawagi, I. V. Ramakrishnan
    Pages 477-495
  19. Dexter Kozen, Umesh V. Vazirani, Vijay V. Vazirani
    Pages 496-503
  20. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site