Lecture Notes in Computer Science

Logics of Programs

Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

Editors: Clarke, E., Kozen, D. (Eds.)

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-540-38775-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-540-12896-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (5 chapters)

  • Introducing institutions

    J. A. Goguen, R. M. Burstall

    Pages 221-256

  • Reasoning in interval temporal logic

    Ben Moszkowski, Zohar Manna

    Pages 371-382

  • Deriving efficient graph algorithms (summary)

    John H. Reif, William L. Scherlis

    Pages 421-441

  • An introduction to specification logic

    John C. Reynolds

    Pages 442-442

  • From denotational to operational and axiomatic semantics for ALGOL-like languages: An overview

    B. A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer

    Pages 474-500

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-540-38775-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-540-12896-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logics of Programs
Book Subtitle
Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
Editors
  • E. Clarke
  • D. Kozen
Series Title
Lecture Notes in Computer Science
Series Volume
164
Copyright
1984
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38775-6
DOI
10.1007/3-540-12896-4
Softcover ISBN
978-3-540-12896-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VI, 531
Topics