Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
尚無評分
Dec 6, 2011
·
英語
·
平裝書
(486 頁數)