ECI Conference 1976

Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976
Herausgegeben:Samelson, K.

• Broschiertes Buch

Produktbeschreibung

Names and objects in heterogeneous computer networks.- Trends in computer system structure and architecture.- Aspects of the communication within a multisuppliers computer network.- Communication and synchronization tools in a distributed environment.- Multiprogrammed memory management for random-sized programs.- Integrity, concurrency, and recovery in databases.- An architecture for high-level language database extensions.- Data structures and graph grammars.- Selecting an optimal set of secondary indices.- A model for data structures.- Fast access sequential structures.- Database systems analysis and design.- Formal techniques and sizeable programs.- Constructive methods of program design.- Team organisation in integrated on-line computer projects.- A case study of structured programming with correctness proofs.- Program optimization using invariants.- The GEM COBOL monitor system.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 44
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-07804-3
• 1976.
• Seitenzahl: 344
• Erscheinungstermin: 1. Juli 1976
• Englisch
• Abmessung: 235mm x 155mm x 19mm
• Gewicht: 485g
• ISBN-13: 9783540078043
• ISBN-10: 3540078045
• Artikelnr.: 23109965

Inhaltsangabe

Names and objects in heterogeneous computer networks.- Trends in computer system structure and architecture.- Aspects of the communication within a multisuppliers computer network.- Communication and synchronization tools in a distributed environment.- Multiprogrammed memory management for random-sized programs.- Integrity, concurrency, and recovery in databases.- An architecture for high-level language database extensions.- Data structures and graph grammars.- Selecting an optimal set of secondary indices.- A model for data structures.- Fast access sequential structures.- Database systems analysis and design.- Formal techniques and sizeable programs.- Constructive methods of program design.- Team organisation in integrated on-line computer projects.- A case study of structured programming with correctness proofs.- Program optimization using invariants.- The GEM COBOL monitor system.