Formal description of programming concepts--II
Subtitle: proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982
By: edited by Dines Bjørner.
Contributors: Bjørner, D. 1937-; IFIP Technical Committee 2--Programming.
Publisher: North-Holland Pub. Co.; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1983
Place of publication: Amsterdam; New York; New York, N.Y
Language: eng
Number of pages: 455
Subjects: Computer programming -- Congresses.; Formal languages -- Congresses.
Notes: Includes bibliographies and index.
"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p.