COMPUTER ANALYSIS OF STRUCTURAL SYSTEMS
JOHN F.FLEMING1989 年出版574 页ISBN:0070213011
STANDARDIZED DEVELOPMENT OF COMPUTER SOFTWARE
ROBERT C.TAUSWORTHE2222 年出版379 页ISBN:0138421951
Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979
1979 年出版580 页ISBN:3540095268