Theoretical foundations of programming methodology : lecture notes of an international summer school
·
directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare ; lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt
Bok
·
Engelsk
·1982
