Your search returned 3 results.

Results
	1.	Program construction and verification by BACKHOUSE, Roland C [] Series: Prentice-Hall international series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: NEW YORK PRENTICE-HALL 1986 Availability: Items available for loan: SSCBS Library (3)Call number: 005.13 BAC-M6, ... Add to cart (remove)

	2.	Programming language theory and its implementation Applicative and imperative paradigms by GORDON, Michael J C [] Series: Prentice-Hall international series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: NEW YORK PRENTICE-HALL 1988 Availability: Items available for loan: SSCBS Library (2)Call number: 005.13 GOR-M8, ... Add to cart (remove)

	3.	Introduction to programming in Prolog by CROOKES, Danny [] Series: Prentice-Hall international series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: NEW YORK PRENTICE-HALL Availability: Items available for loan: SSCBS Library (1)Call number: 005.133PRO CRO-M8. Add to cart (remove)

Refine your search