Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 /

Bibliographic Details
Corporate Authors:	IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing Vienna, Austria, IFIP Technical Committee 2--Programming
Other Authors:	Neuhold, Erich J., Chroust, Gerhard, 1941-
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam ; New York : North-Holland ; 1985.
Subjects:	Zemanek, Heinz. Computer programming > Congresses.

Remote Storage