Backhouse Roland

Program Construction And Verification - 0 - London Prentice-Hall 1986 - ,;ill.

0-13-729146-9


Electronic Digital Computers - Programming
Technical University of Mombasa
Tom Mboya Street, Tudor 90420-80100 , Mombasa Kenya
Tel: (254)41-2492222/3 Fax: 2490571