Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN:0198538359
COMPUTER SCIENCE A BREADTH-FIRST APPROACH WITH PASCAL
1995 年出版730 页ISBN:0471311987
Lecture Notes in Computer Science 363 Logic at Botik'89
1989 年出版289 页ISBN:0387512373
Computer science illuminated = 计算机科学概论(英文版·第5版)
Nell B. Dale ; John Lewis2015 年出版668 页ISBN:7111448136
Pascalgorithms A Pascal-Based Introduction To Computer Science
1989 年出版802 页ISBN:039535739X
Lecture Notes in Computer Science 4419 Reconfigurable Computing:Architectures
Tools and Applications Third International Workahop2007 年出版392 页ISBN: