001.6425 / An14
Ananda, A. L.
Proving programs correct
/
.- Kanpur: I. I. T., 1973
.- 177 .
Thesis (M.Tech.) -- I. I. T., Kanpur
Subject Headings:
Cool (Computer Program Language);
Programming Languages (Electronic Computers);
Copy Details:
Acc. No.: A73539, Full Call No.: 001.6425 An14, Item type: Written-off , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------