Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science
cover

First-Order Dynamic Logic

Authors: Harel, D.

Buy this book

eBook $9.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-35346-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $17.99
price for USA in USD
  • ISBN 978-3-540-09237-7
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.

Table of contents (2 chapters)

Table of contents (2 chapters)
  • Part I: Binary-relation semantics

    Pages 5-56

  • Part II: Computation-tree semantics

    Pages 57-116

Buy this book

eBook $9.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-35346-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $17.99
price for USA in USD
  • ISBN 978-3-540-09237-7
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
First-Order Dynamic Logic
Authors
Series Title
Lecture Notes in Computer Science
Series Volume
68
Copyright
1979
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-35346-1
DOI
10.1007/3-540-09237-4
Softcover ISBN
978-3-540-09237-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 136
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.