Formal models and practical tools for information systems design : 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 / edited by Hans-Jochen Schneider.

• Material Type: 図書
• ISBN: 0444853944
• Title: Formal models and practical tools for information systems design : 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 / edited by Hans-Jochen Schneider.
• Author Heading: Schneider, Hans-Jochen.; International Federation for Information Processing. Committee on Information Systems.; IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design (1979 : Oxford, England)
• Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.; New York : North-Holland Pub. Co.; Amsterdam : sole distributors for the U.S.A. and Canada, Elsevier North-Holland; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland
• Publication Date: 1979.
• Publication Date (W3CDTF): 1979
• Extent: ix, 297 p. : ill. ; 23 cm.
• Place of Publication (Country Code): NL
• Text Language Code: eng
• Subject Heading: Information storage and retrieval systems -- Congresses.; Formal languages -- Congresses.; Computer programming -- Congresses.
• LCC: Z699.A1
• DDC: 029
• NDLC: UL31
• Note (General): "Organized by IFIP Technical Committee 8, Information Systems, International Federation for Information Prcessing."
• Note (Bibliography): Includes bibliographies.
• Holding library: 国立国会図書館
• Call No.: UL31-102
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000006222258; http://id.ndl.go.jp/bib/000006222258
• LC Control Number: 79019860; https://lccn.loc.gov/79019860
• Bibliographic Record Category (NDL): 211