Pascalgorithms A Pascal-Based Introduction To Computer Science
1989 年出版802 页ISBN:039535739X
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
NEW PERSPECTIVES ON COMPUTER CONCEPTS INTRODUCTORY 6TH EDITION
JUNE JAMRICH PARSONS AND DAN OJA2003 年出版424 页ISBN: