Formal models and practical tools for information systems design
Subtitle: proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979
By: edited by Hans-Jochen Schneider
Contributors: Schneider, Hans-Jochen; International Federation for Information Processing. Committee on Information Systems
Publisher: North-Holland Pub. Co.
Published: 1979
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 297
Subjects: Information storage and retrieval systems; Congresses; Formal languages; Computer programming
Notes: "Organized by IFIP Technical Committee 8, Information Systems, International Federation for Information Prcessing."

Includes bibliographies.