Theory of Program Structures: Schemes, Semantics, Verification

  • Editors
  • Sheila A. Greibach
Book

Part of the Lecture Notes in Computer Science book series (LNCS, volume 36)

Table of contents

  1. Front Matter
  2. Pages 1-1-1-8
  3. Pages 4-1-4-65
  4. Pages 6-1-6-34
  5. Pages 7-1-7-78
  6. Pages 8-1-8-36
  7. Back Matter

About this book

Keywords

Programmablaufplan program verification recursion semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0023017
  • Copyright Information Springer-Verlag 1975
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-07415-1
  • Online ISBN 978-3-540-37942-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace