Table of contents

  1. Front Matter
  2. R. A. Kowalski
    Pages 1-12
  3. T S E Maibaum, M R Sadler, P A S Veloso
    Pages 13-30
  4. R. Ramanujam, R. K. Shyamasundar
    Pages 31-43
  5. Asis K. Goswami, L. M. Patnaik
    Pages 44-59
  6. M. Nielsen, P. S. Thiagarajan
    Pages 89-117
  7. Gad Taubenfeld, Nissim Francez
    Pages 118-118
  8. Saumya K. Debray, Ariel J. Frank, Scott A. Smolka
    Pages 136-151
  9. Bhargab B Bhattacharya, Suranjan Ghose, Bhabani P Sinha, Pradip K Srimani
    Pages 152-164
  10. Stathis Zachos, Hans Heller
    Pages 179-187
  11. Kamala Krithivasan, Anindya Das
    Pages 188-201
  12. Malcolm P. Atkinson, Ronald Morrison
    Pages 223-240
  13. Rajiv Kane, Sartaj Sahni
    Pages 259-278
  14. Christos Levcopoulos, Andrzej Lingas
    Pages 279-295
  15. I. V. Ramakrishnan, P. J. Varman
    Pages 296-316

About these proceedings

Keywords

Computer Software algorithm algorithms computer science database design functional programming knowledge representation logic modeling petri net programming theoretical computer science

Bibliographic information

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