Your search returned 3 results.

Results
	1.	Adapting proofs-as-program: the curry-howard protocol by Poernomo, Iman Hafiz Martin, Wirsing John, Newsome Crossley Series: (Monographs in computer science) Material type: Text; Format: print ; Literary form: Not fiction Publication details: USA Springer 2005 Availability: Items available for loan: University Library (1)Call number: 004.422 POE. Add to cart (remove)
	2.	Programming in the 1990s. an introduction to the calculation of programs by Cohen,Edward Series: texts and monographs in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York Springer-Verlag 1990 Availability: No items available. Add to cart (remove)
	3.	The origins of digital computers selected papers by Randell,Brian [Editor] Series: Texts and Monographs in Computer Science Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York Springer - Verlag 1982 Availability: No items available. Add to cart (remove)

Refine your search