LEADER 00000nam 2200193 a 4500 001 1871516986 007 t 008 001107s1999 enk r 000 eng d 020 1871516986 040 CURLBL 100 1 Windeknecht, Thomas G.,|d1935- 245 10 Logical derivation of computer programs. 260 Exeter :|bIntellect,|c1999. 300 208p. 650 0 Computer programming|xMathematics. 650 0 Computer programming|xMathematics|vProblems, exercises, etc.
|