Let's celebrate 175 years of Springer publishing!

Computer Science Theoretical Computer Science
Lecture Notes in Computer Science
Free Preview
© 1982

Logics of Programs

Workshop, Yorktown Heights, NY, USA

Editors: Kozen, D. (Ed.)

Buy this book

eBook $39.99
price for USA (gross)
  • ISBN 978-3-540-39047-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA
Buy Softcover
  • ISBN 978-3-540-11212-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

FAQ Policy

Table of contents (2 chapters)

  • Design and synthesis of synchronization skeletons using branching time temporal logic

    Edmund M. Clarke, E. Allen Emerson

    Pages

    Preview Buy Chapter $29.95

  • Toward a logical theory of program data

    Robert Cartwright

    Pages

    Preview Buy Chapter $29.95
Read this book on SpringerLink

Buy this book

eBook $39.99
price for USA (gross)
  • ISBN 978-3-540-39047-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA
Buy Softcover
  • ISBN 978-3-540-11212-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

FAQ Policy
Loading...

Services for this Book

Facebook Twitter LinkedIn Google++

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logics of Programs
Book Subtitle
Workshop, Yorktown Heights, NY, USA
Editors
  • D. Kozen
Series Title
Lecture Notes in Computer Science
Series Volume
131
Copyright
1982
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39047-3
DOI
10.1007/BFb0025769
Softcover ISBN
978-3-540-11212-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 429
Topics