Table of contents

  1. Front Matter
  2. Pages 1-2
  3. Pages 15-26
  4. Pages 27-35
  5. Pages 36-69
  6. Pages 70-156
  7. Pages 157-182
  8. Pages 183-184
  9. Back Matter

About this book

Keywords

Parallelverarbeitung (EDV) Verifikation (EDV) logic programming verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-11205-7
  • Copyright Information Springer-Verlag 1982
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11205-1
  • Online ISBN 978-3-540-39034-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Aerospace