Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

Monographs in Theoretical Computer Science. An EATCS Series

Temporal Logic of Programs

Authors: Kröger, Fred

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-642-71549-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-642-71551-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (8 chapters)

  • Introduction

    Kröger, Prof. Dr. Fred

    Pages 1-8

  • Propositional Temporal Logic

    Kröger, Prof. Dr. Fred

    Pages 9-23

  • Axiomatization of Propositional Temporal Logic

    Kröger, Prof. Dr. Fred

    Pages 25-41

  • First-Order Temporal Logic

    Kröger, Prof. Dr. Fred

    Pages 43-53

  • Temporal Semantics of Programs

    Kröger, Prof. Dr. Fred

    Pages 55-77

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-642-71549-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-642-71551-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Temporal Logic of Programs
Authors
Series Title
Monographs in Theoretical Computer Science. An EATCS Series
Series Volume
8
Copyright
1987
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-71549-5
DOI
10.1007/978-3-642-71549-5
Softcover ISBN
978-3-642-71551-8
Series ISSN
1431-2654
Edition Number
1
Number of Pages
VIII, 148
Topics