Formal models in programming
Subtitle: proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985
By: edited by E.J. Neuhold and G. Chroust.
Contributors: Neuhold, Erich J.; Chroust, Gerhard, 1941-; IFIP Technical Committee 2--Programming.
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1985
Place of publication: Amsterdam; New York; New York, N.Y., U.S.A
Language: eng
Number of pages: 425
Subjects: Zemanek, Heinz.; Computer programming -- Congresses.
Notes: Includes bibliographies.