Monographs in Theoretical Computer Science. An EATCS Series

Temporal Logic of Programs

Authors: Kröger, Fred

Buy this book

eBook $69.99
price for USA (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.00
price for USA
  • ISBN 978-3-642-71551-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (8 chapters)

Buy this book

eBook $69.99
price for USA (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.00
price for USA
  • 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