Advertisement

Table of contents

  1. Front Matter
  2. Pages 1-6
  3. Pages 7-16
  4. Pages 17-53
  5. Pages 54-74
  6. Pages 75-120
  7. Pages 136-152
  8. Pages 153-159
  9. Pages 160-165
  10. Pages 166-168
  11. Back Matter

About this book

Keywords

PL 1 Programmierlogik Verifikation (EDV) logic programming

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-11492-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1982
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11492-5
  • Online ISBN 978-3-540-39179-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace