Your search returned 2 results.

Results
		Truth, deduction, and computation : logic and semantics for computer science / R.E. Davis. by Davis, Ruth E. Series: Principles of computer science seriesMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Computer Science Press, c1989Availability: Items available for loan: CUZ Harare Campus (1) Call number: QA 76.7 DAV. Place hold Add to cart (remove)
		Fundamentals of computer algorithms / Ellis Horowitz, Sartaj Sahni. by Horowitz, Ellis \| Sahni, Sartaj [joint author.]. Series: Computer software engineering seriesMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: Potomac, Md. : Computer Science Press, c1978Availability: Items available for loan: CUZ Harare Campus (1) Call number: QA 76.6 H67. Place hold Add to cart (remove)

Catholic University of Zimbabwe Library
Online Public Access Catalogue
(OPAC)