Suchergebnisse für "Manfred Broy/F L Bauer/M Broy et al"

Constructive Methods in Computing Science

International Summer School directed by F.L.Bauer, M.Broy, E.W.Dijkstra, C.A.R.Hoare, Nato ASI Series (closed) 55, NATO ASI Subseries F: 55

Manfred Broy/F L Bauer/M Broy et al

Springer Verlag GmbH