Get 40% off of select print and eBooks in Engineering & Materials Science!

Lecture Notes in Computer Science

Logics of Programs

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

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

Free Preview

Buy this book

eBook $54.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • 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 in USD
  • ISBN 978-3-540-12896-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (35 chapters)

Table of contents (35 chapters)
  • A static analysis of CSP programs

    Pages 1-17

    Apt, Krzysztof R.

  • Compactness in semantics for merge and fair merge

    Pages 18-33

    Bakker, J. W. (et al.)

  • Algebraic tools for system construction

    Pages 34-44

    Bergstra, J. A. (et al.)

  • PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness

    Pages 45-56

    Bergstra, J. A. (et al.)

  • The intractability of validity in logic programming and dynamic logic

    Pages 57-67

    Blair, Howard A.

Buy this book

eBook $54.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • 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 in USD
  • 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