Lecture Notes in Computer Science

Mathematical Studies of Information Processing

Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978

Editors: Blum, E.K., Paul, M., Takasu, S. (Eds.)

Buy this book

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

Table of contents (2 chapters)

  • The specification and proof of correctness of interactive programs

    Leslie Lamport

    Pages 474-537

  • Recursive programs as functions in a first order theory

    Robert Cartwright, John McCarthy

    Pages 576-629

Buy this book

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

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Studies of Information Processing
Book Subtitle
Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
Editors
  • E.K. Blum
  • M. Paul
  • S. Takasu
Series Title
Lecture Notes in Computer Science
Series Volume
75
Copyright
1979
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-35010-1
DOI
10.1007/3-540-09541-1
Softcover ISBN
978-3-540-09541-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 634
Topics