Advertisement

Table of contents

  1. Front Matter
  2. S. B. Yao, Shamkant B. Navathe, Jay-Louise Weldon
    Pages 1-30
  3. Peter Pin-Shan Chen
    Pages 87-113
  4. John Miles Smith, Diane C. P. Smith
    Pages 114-146
  5. Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima
    Pages 172-218
  6. George U. Hubbard
    Pages 219-227

About these proceedings

Keywords

Base Design Logic automation boundary element method data analysis database database design form formal method relational database requirement requirements techniques tool

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-11214-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1982
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11214-3
  • Online ISBN 978-3-540-39051-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site