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

ECI Conference 1976

Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

Editors:

  1. K. Samelson
    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 44)

Sections

Buy it now

Softcover Book USD 49.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 (18 papers)

  1. Front Matter

    PDF

  9. Data structures and graph grammars

    • P. L. Della Vigna, C. Ghezzi
    Pages 130-145

  10. Selecting an optimal set of secondary indices

    • Theo Härder
    Pages 146-160

  11. A model for data structures

    • Mila E. Majster
    Pages 161-177

  12. Fast access sequential structures

    • G. Martella, F. A. Schreiber
    Pages 178-192

  13. Database systems analysis and design

    • E. E. Tozer
    Pages 193-224

  14. Formal techniques and sizeable programs

    • Edsger W. Dijkstra
    Pages 225-235

  15. Constructive methods of program design

    • M. A. Jackson
    Pages 236-262

  17. A case study of structured programming with correctness proofs

    • J. D. Ichbiah, J. C. Heliard
    Pages 276-286

  18. Program optimization using invariants

    • Shmuel Katz
    Pages 287-309

  19. The GEM COBOL monitor system

    • Antonio Salvadori
    Pages 310-322
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: ECI Conference 1976

  • Book Subtitle: Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

  • Editors: K. Samelson

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-07804-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1976

  • Softcover ISBN: 978-3-540-07804-3Published: 01 July 1976

  • eBook ISBN: 978-3-540-38215-7Published: 29 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 334

  • Topics: Theory of Computation, Computer Science, general

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 49.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