Table of contents

  1. Front Matter
  2. Pages 1-3
  3. Taiichi Yuasa, Reiji Nakajima
    Pages 30-47
  4. Michio Honda, Reiji Nakajima
    Pages 48-60
  5. Taiichi Yuasa, Keiji Kojima
    Pages 61-71
  6. Taiichi Yuasa
    Pages 72-79
  7. Tatsuya Hagino, Etsuya Shibayama
    Pages 80-98
  8. Michio Honda, Tatsuya Hagino, Etsuya Shibayama
    Pages 99-108
  9. Akihiko Koga, Taiichi Yuasa
    Pages 109-113
  10. Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayam, Taiichi Yuasa
    Pages 114-175
  11. Back Matter

About this book

Keywords

IOTA Modularprogramm Processing development language programming verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-12693-7
  • Copyright Information Springer-Verlag 1983
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-12693-5
  • Online ISBN 978-3-540-38684-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book