Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1979

Mathematical Studies of Information Processing

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

Editors:

  1. E. K. Blum
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. M. Paul
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. S. Takasu
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 75)

Sections

Buy it now

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (20 papers)

  1. Front Matter

    PDF

  9. A file organization suitable for relational database operations

    • Katsumi Tanaka, Chung Le Viet, Yahiko Kambayashi, Shuzo Yajima
    Pages 193-227

  10. Specified programming

    • Andrzej Blikle
    Pages 228-251

  11. A calculus for proving properties of while-programs

    • Ingrid Glasner, Jacques Loeckx
    Pages 252-281

  12. "E-correctness" of a set of "computation processes"

    • Kazuhide Sugawara, Hiroshi Kawaguchi, Teruyasu Nishizawa
    Pages 282-301

  14. The vienna development method (VDM)

    • Dines Bjørner
    Pages 326-359

  15. On a uniform formal description of data structures

    • M. Paul, U. Güntzer
    Pages 360-383

  16. Extending an implementation language to a specification language

    • E. R. Anderson, F. C. Belz, E. K. Blum
    Pages 384-424
Back to top

Keywords

Back to top

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

  • DOI: https://doi.org/10.1007/3-540-09541-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1979

  • Softcover ISBN: 978-3-540-09541-5Published: 01 September 1979

  • eBook ISBN: 978-3-540-35010-1Published: 05 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 634

  • Topics: Theory of Computation, Programming Techniques, Computer Applications

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation