COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN:
QUALITY ASSURANCE FOR COMPUTER SOFTWARE
ROBERT DUNN AND RICHARD ULLMAN2222 年出版351 页ISBN:
PROBLEM SOLVING and COMPUTER PROGRAMMING
Peter Grogono Sharon H. Nelson2222 年出版284 页ISBN:
COMPUTER SCIENCE ILLUMINATED (THIRD EDITION)
[美]NELL DALE JOHN LEWIS著2008 年出版636 页ISBN:
古平正义,平林奈绪美,水野学,山田英二编著;连雪雅译;郭玫祯主编2008 年出版335 页ISBN:9789866716829