MICROCOMPUTER PROGRAMS FOR CHEMICAL ENGINEERS
DAVID J.DEUTSCH STAFF OF CHEMICAL ENGINEERING2222 年出版273 页ISBN:0076060675
Energy Research Programs First Edition 1980
Jaques Cattell Press1980 年出版444 页ISBN:
FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN:0201172372