THE CORRECTNESS PROBLEM IN COMPUTER SCIENCE
BOYER R.S. (ED.)(et-al)
THE CORRECTNESS PROBLEM IN COMPUTER SCIENCE - NEWYORK : ACADAMIC 1981 - 279 p.
0000121229203
COMPUTER SCIENCE : COMPUTING
004.1 / T32
THE CORRECTNESS PROBLEM IN COMPUTER SCIENCE - NEWYORK : ACADAMIC 1981 - 279 p.
0000121229203
COMPUTER SCIENCE : COMPUTING
004.1 / T32