AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION
ALI MILI1985 年出版291 页ISBN：0442263228
CISCO NETWORKING ACADEMY PROGRAM:LAB COMPANION
VOLUME 12000 年出版278 页ISBN：158713022X
ACCOUNTING INFORMATION MANAGER GENERAL LEDGER PROGRAM
JOHN W.WANLASS1992 年出版191 页ISBN：
PSIP:PROGRAM AND SYSTEM INFORMATION PROTOCOL
MARK K.KYER2222 年出版451 页ISBN：0071389997
CREND TOUR THE RIVERSIDE READING PROGRAM
JOAN M.BAKER1976 年出版672 页ISBN：0829274286
C++ HOW TO PROGRAM，EIGHTH EDITION
（美）PAUL DEITEL，HARVEY DEITEL2015 年出版806 页ISBN：9787121266478;9787121266
PROGRAM DESIGN WITH PSEUDOCODE SECOND EDITION
T.E.BAILEY KRIS LUNDGAARD2222 年出版170 页ISBN：0534055745
Hospitality and Tourism Management Program Year 2
2013 年出版323 页ISBN：9780866124225
