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 - IFIP Working Conference on Formal Description of Programming Concepts (1977 : St. Andrews, N.B.); Neuhold, Erich J. (Amsterdam ; New York : North-Holland Pub. Co., 1978)
Includes bibliographical references and index
1
Keywords: Computer programming -- Congresses; Formal languages -- Congresses