Shop the Archives and get your next eBook for just 14.99! Stock up today >>

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 in USD (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 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)

  • A static analysis of CSP programs

    Apt, Krzysztof R.

    Pages 1-17

  • Compactness in semantics for merge and fair merge

    Bakker, J. W. (et al.)

    Pages 18-33

  • Algebraic tools for system construction

    Bergstra, J. A. (et al.)

    Pages 34-44

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

    Bergstra, J. A. (et al.)

    Pages 45-56

  • The intractability of validity in logic programming and dynamic logic

    Blair, Howard A.

    Pages 57-67

Buy this book

eBook $54.99
price for USA in USD (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 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