q=Science+of+Computer+Programming.&searchType=standard&isFacet=true&view=standard&searchWay=title&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
Science of Computer Programming.
-
knuth, donald ervin,
(3)
-
clarke, edmund
(1)
-
kozen, dexter,
(1)
-
logics of programs workshop
(1)
-
tennent, r. d.,
(1)
-
ullman, jeffrey d.,
(1)
-
陈以农
(1)
-
陈以农,陈文智,韩德强著
(1)
-
陈文智
(1)
-
韩德强
(1)
-
显示更多..