PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
RAYMOND D.GUMB2222 年出版334 页ISBN:
Effective Perl programming: ways to write better
more idiomatic Perl 2E = Effective Perl: 编写高质量Perl代码的有效方法 (第2版) (英文版)2016 年出版474 页ISBN:7121272684
A STRUCTURED APPROACH TO FORTRAN 77 PROGRAMMING WITH WATFIV
C.JOSEPH SASS1983 年出版427 页ISBN:0205079180