Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 / ed. by Erich J. Neuhold.

• Material Type: 図書
• ISBN: 0444851070
• Title: Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 / ed. by Erich J. Neuhold.
• Author Heading: IFIP Working Conference on Formal Description of Programming Concepts (1977 : St. Andrews, N.B.); Neuhold, Erich J ( 00472224 )Authorities
• Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.; New York : North-Holland Pub. Co.
• Publication Date: 1978.
• Publication Date (W3CDTF): 1978
• Extent: xviii, 648 p. ; 23 cm.
• Place of Publication (Country Code): NL
• Text Language Code: eng
• Subject Heading: Computer programming -- Congresses.; Formal languages -- Congresses.
• LCC: QA76.6
• DDC: 001.64/2
• NDLC: M159
• Note (Bibliography): Includes bibliographical references and index.
• Holding library: 国立国会図書館
• Call No.: M159-138
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000006222242; http://id.ndl.go.jp/bib/000006222242
• LC Control Number: 81455275; https://lccn.loc.gov/81455275
• Bibliographic Record Category (NDL): 211