Formal description of programming concepts--II：proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982

Corporate Authors: IFIP Working Conference on Formal Description of Programming Concepts (1982 Garmisch-Partenkirchen, Germany); IFIP Technical Committee 2--Programming.
Group Author: Bjørner D.; (Dines), 1937-
Published: North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1983.
Call Number: TP312-53/I61.14/1982/