Backhouse Roland
Program Construction And Verification - 0 - London Prentice-Hall 1986 - ,;ill.
0-13-729146-9
Electronic Digital Computers - Programming
Program Construction And Verification - 0 - London Prentice-Hall 1986 - ,;ill.
0-13-729146-9
Electronic Digital Computers - Programming