Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985 / edited by A. Sernadas, J. Bubenko, Jr., and A. Olivé.

• Material Type: 図書
• ISBN: 0444877061 (U.S.)
• Title: Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985 / edited by A. Sernadas, J. Bubenko, Jr., and A. Olivé.
• Author Heading: IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems (1985 : Sitges, Spain); Sernadas, A., 1952-; Bubenko, Janis, 1935-; Olivé, A., 1946-; IFIP Working Group 8.1.
• Publication, Distribution, etc.: Amsterdam : North-Holland; New York : North-Holland; New York, N.Y., U.S.A. : North-Holland; Amsterdam : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
• Publication Date: 1985.
• Publication Date (W3CDTF): 1985
• Extent: x, 236 p. : ill. ; 24 cm.
• Place of Publication (Country Code): NL
• Text Language Code: eng
• Subject Heading: Electronic data processing -- Congresses.; Data base management -- Congresses.
• LCC: QA75.5
• DDC: 001.64
• NDLC: M15; M151
• Note (Bibliography): Includes bibliographical references.
• Holding library: 国立国会図書館
• Call No.: M15-A913
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003125219; http://id.ndl.go.jp/bib/000003125219
• LC Control Number: 84028765; https://lccn.loc.gov/84028765
• Bibliographic Record Category (NDL): 211