01369cam a2200289 a 4500 460195 BD-DhUL 20140723142058.0 140722s1983 ne b 101 0 eng 83000558 0444866191 DLC DLC DLC BD-DhUL QA76.6 .I25 1982 001.6424 19 BJF IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirchen, Germany) 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 / edited by Dines Bjørner. Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983. xii, 455 p. ; 23 cm. "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. Bjørner, D. (Dines), 1937- IFIP Technical Committee 2--Programming. 7 cbc orignew 1 ocip 19 y-gencatlg ddc BK 314 314 0 0 ddc 0 001_642400000000000_BJF 0 NFIC 561 DUSL DUSL GEN 1985-11-17 Gift 001.6424 BJF A278264 2014-07-23 2014-07-23 BK