Top 2 broy PDF Book
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Jayadev Misra (auth.), Manfred Broy (eds.)
·473 Pages
·1989
·17.111 MB
Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Richard S. Bird (auth.), Manfred Broy (eds.)
·412 Pages
·1987
·12.978 MB
