COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN:
PROBLEM SOLVING and COMPUTER PROGRAMMING
Peter Grogono Sharon H. Nelson2222 年出版284 页ISBN:
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
INTRODUCTION TO BASIC PROGRAMMING A STRUCTURED APPROACH SECOND EDITION
1980 年出版438 页ISBN:0395327504
AN INTRODUCTION TO OBJECT-ORIENTED PROGRAMMING WITH JAVA
2222 年出版863 页ISBN:0072396849