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 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-35010-1
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $159.00 net
( 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 chapter)

  • The specification and proof of correctness of interactive programs

    Leslie Lamport

    Pages 474-537

    Buy Chapter $29.95
  • Recursive programs as functions in a first order theory

    Robert Cartwright, John McCarthy

    Pages 576-629

    Buy Chapter $29.95
Free Preview

Buy this book

eBook $119.00 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-35010-1
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $159.00 net
( price for USA )
  • ISBN 978-3-540-09541-5
  • free shipping for individuals worldwide
  • usually dispatched within 3 to 5 business days

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
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
Topics