proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirchen, Germany) creator Bjørner, D. (Dines) 1937- IFIP Technical Committee 2--Programming text bibliography conference publication ne Amsterdam New York New York, N.Y North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1983 monographic eng

print

xii, 455 p. ; 23 cm. edited by Dines Bjørner. "Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p. Includes bibliographies and index. Computer programming Congresses Formal languages Congresses QA76.6 .I25 1982 001.6424 BJF 0444866191 83000558 DLC 140722 20140723142058.0 460195