Temporal Logic of Programs

  • Fred Kröger

Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 8)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Fred Kröger
    Pages 1-8
  3. Fred Kröger
    Pages 9-23
  4. Fred Kröger
    Pages 43-53
  5. Fred Kröger
    Pages 55-77
  6. Fred Kröger
    Pages 103-120
  7. Fred Kröger
    Pages 121-132
  8. Back Matter
    Pages 133-148

About this book

Keywords

logic proof theory semantics verification

Authors and affiliations

  • Fred Kröger
    • 1
  1. 1.Institut für InformatikUniversität MünchenMünchen 2Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-71549-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-71551-8
  • Online ISBN 978-3-642-71549-5
  • Series Print ISSN 1431-2654
  • About this book