Your search returned 15 results.

Results
	1.	Image from Google Jackets	Program construction and verification / Roland C. Backhouse. by Backhouse, Roland C, 1948- Series: Prentice-Hall international series in computer science Material type: Text; Format: print Englewood Cliffs, N.J : Prentice-Hall International, c1986 Availability: Items available for loan: Main Library -University of Zimbabwe (4)Call number: QA76.4 BAC, ... Place hold Log in to add tags Save to lists Add to cart (remove)
	2.	Image from Google Jackets	Principles of programming languages / R.D. Tennent. by Tennent, R. D, 1944- Series: Prentice-Hall international series in computer science Material type: Text; Format: print Englewood Cliffs, N.J : Prentice/Hall International, c1981 Availability: Items available for loan: Main Library -University of Zimbabwe (1)Call number: QA76.7 TEN. Place hold Log in to add tags Save to lists Add to cart (remove)
	3.	Image from Google Jackets	Computer science : a modern introduction / L. Goldschlager and A. Lister. by Goldschlager, L Lister, A Series: Prentice-Hall international series in computer science Material type: Text; Format: print Englewood Cliffs, N.J : Prentice Hall, c1982 Availability: Items available for loan: Main Library -University of Zimbabwe (2)Call number: QA76 GOL, ... Place hold Log in to add tags Save to lists Add to cart (remove)
	4.	Image from Google Jackets	Introduction to Pascal / Jim Welsh, John Elder. by Welsh, Jim Elder, John Series: Prentice-Hall international series in computer science Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, London : Prentice Hall, c1988 Availability: No items available. Log in to add tags Save to lists Add to cart (remove)
	5.	Image from Google Jackets	Distributed systems and computer networks. by Sloman, Morris Kramer, Jeff Series: Prentice-Hall international series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, NJ : Prentice/Hall International, c1987 Availability: No items available. Log in to add tags Save to lists Add to cart (remove)
	6.	Image from Google Jackets	Computer science : a modern introduction / by Les Goldschlager and Andrew Lister. by Goldschlager, L, 1951- [author.] Lister, A. (Andrew), 1945- Series: Prentice-Hall international series in computer science Edition: Second Edition. Material type: Text; Format: print Englewood Cliffs, N.J : Prentice-Hall, c1988 Availability: Items available for loan: Main Library -University of Zimbabwe (1)Call number: QA76 GOL 1988. Veterinary Science Library-University of Zimbabwe (1)Call number: QA76 GOL 1988. Place hold Log in to add tags Save to lists Add to cart (remove)
	7.	Image from Google Jackets	Computational category theory / David E. Rydeheard, Rod M. Burstall. by Rydeheard, D. E. (David E.) Burstall, Rod M, 1934- Series: Prentice-Hall international series in computer science Material type: Text; Format: print Englewood Cliffs, N.J. : Prentice Hall, 1988 Availability: Items available for loan: Main Library -University of Zimbabwe (2)Call number: QA169 RYD, ... Place hold Log in to add tags Save to lists Add to cart (remove)
	8.	Image from Google Jackets	Programming language syntax and semantics / David A. Watt ; with a contribution by Muffy Thomas. by Watt, David A. (David Anthony) Thomas, Muffy Series: Prentice-Hall international series in computer science Material type: Text; Format: print ; Literary form: Not fiction New York : Prentice Hall, 1991 Availability: Items available for loan: Main Library -University of Zimbabwe (1)Call number: QA76.7 WAT . Place hold Log in to add tags Save to lists Add to cart (remove)
	9.	Image from Google Jackets	Verifiable programming / Ole-Johan Dahl. by Dahl, Ole-Johan, 1931- Series: Prentice-Hall international series in computer science Material type: Text; Format: print New York : Prentice Hall, 1992 Availability: Items available for loan: Main Library -University of Zimbabwe (1)Call number: QA76.4 DAH. Place hold Log in to add tags Save to lists Add to cart (remove)
	10.	Image from Google Jackets	Sequential program structures / Jim Welsh, John Elder, and David Bustard. by Welsh, Jim, 1943- Elder, John, 1949- Bustard, David, 1949- Series: Prentice-Hall international series in computer science Material type: Text; Format: print Englewood Cliffs, N.J : Prentice/Hall International, 1984 Availability: Items available for loan: Main Library -University of Zimbabwe (1)Call number: QA76.4 WEL. Place hold Log in to add tags Save to lists Add to cart (remove)
	11.	Image from Google Jackets	Object-oriented software construction / Bertrand Meyer. by Meyer, Bertrand, 1950- Series: Prentice-Hall international series in computer science Material type: Text; Format: print New York : Prentice Hall, c1988 Availability: Items available for loan: Main Library -University of Zimbabwe (1)Call number: QA76.5 MEY. Place hold Log in to add tags Save to lists Add to cart (remove)
	12.	Image from Google Jackets	Introduction to functional programming / Richard Bird and Philip Wadler. by Bird, R. J Wadler, Philip Series: Prentice-Hall international series in computer science Material type: Text; Format: print New York : Prentice Hall, 1988 Availability: Items available for loan: Main Library -University of Zimbabwe (1)Call number: QA76.6 BIR. Place hold Log in to add tags Save to lists Add to cart (remove)
	13.	Image from Google Jackets	Software engineering and modula-2 / Gustav Pomberger. by Pomberger, Gustav, 1949- Series: Material type: Text; Format: print Englewood Cliffs, NJ : Prentice-Hall, c1984 Availability: Items available for loan: Main Library -University of Zimbabwe (3)Call number: QA76.73.M63 POM, ... Place hold Log in to add tags Save to lists Add to cart (remove)
	14.	Image from Google Jackets	The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial. by Spivey, J. M Series: Prentice-Hall international series in computer science Edition: Second edition. Material type: Text; Format: print New York : Prentice Hall, c1992 Availability: Items available for loan: Main Library -University of Zimbabwe (1)Call number: QA76.73.Z2 SPI. Place hold Log in to add tags Save to lists Add to cart (remove)
	15.	Image from Google Jackets	An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till. by Potter, Ben Sinclair, Jane Till, David, 1942- Series: Prentice-Hall international series in computer science Material type: Text; Format: print New York : Prentice Hall, 1991 Availability: Items available for loan: Main Library -University of Zimbabwe (1)Call number: QA76.76.D47 POT. Place hold Log in to add tags Save to lists Add to cart (remove)