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 : New York, N.Y. : North-Holland Pub. Co. ; 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.
0444866191
83000558
Computer programming--Congresses.
Formal languages--Congresses.
QA76.6 / .I25 1982
001.6424 / BJF
"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p.
Includes bibliographies and index.
0444866191
83000558
Computer programming--Congresses.
Formal languages--Congresses.
QA76.6 / .I25 1982
001.6424 / BJF