Mathematical foundations of computer science 1976 : proceedings, 5th symposium, Gdansk, September6-10, 1976 edited by A. Mazurkiewicz. - Berlin : Springer-Verlag 1976. - 606 p. ; 25 cm. - Lecture notes in computer science no.45. .

'The Symposium is being organized by the Computation Centre of the Polish Academy of Sciences in cooperation with the University of Gdansk.'.

Includes bibliographical references and index.

3540078541


Formal languages--Congresses.
Machine theory--Congresses.
Programming (Electronic computers)--Congresses.