PROGRAM CONSTRUCTION AND VERIFICATION
C. A. R. HOARE
PROGRAM CONSTRUCTION AND VERIFICATION - USA PHI 1986 - 281,P 20CM
0137291531
COMPUTER SCIENCE CS & IT
76.7 / HOA,1986,1230127
PROGRAM CONSTRUCTION AND VERIFICATION - USA PHI 1986 - 281,P 20CM
0137291531
COMPUTER SCIENCE CS & IT
76.7 / HOA,1986,1230127