FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN:0201172372
MANUAL OF PHARMACOLOGIC CALCULATIONS WITH COMPUTER PROGRAMS
RONALD J.TALLARIDA1981 年出版150 页ISBN:3540905006
Directory of Graduate programs : 1986 & 1987.volume D
Graduate Record Examinations Board.2222 年出版440 页ISBN:0886850274
Legal protection of computer programs and data
by Christopher J. Millard1985 年出版239 页ISBN:0421334800
MANAGEMENT OF HUMAN SERVICE PROGRAMS SECOND EDITION
JUDITH A.LEWIS MICHAEL D.LEWIS FEDERICO SOUFLEE1991 年出版323 页ISBN:0534130747
Verification of Sequential and Concurrent Programs Second Edition
1997 年出版364 页ISBN:0387948961
PROGRAM DERIVATION THE DEVELOPMENT OF PROGRAMS FORM SPECIFICATIONS
GEOFF DROMEY2222 年出版630 页ISBN: