Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Systematic program design : from clarity to efficiency / Yanhong Annie Liu, Stony Brook University, State University of New York. by Liu, Yanhong Annie, 1965- Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, c2013 Online access: Cover image Availability: Items available for loan: Central Library, SUST (2)Call number: 005.1 LIS, ... Place hold Add to cart (remove)
	2.	Type theory and formal proof : an introduction / Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands. by Nederpelt, R. P. (Rob P.) [author.] Geuvers, Herman, 1964- [author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, c2014 Online access: Cover image Availability: Items available for loan: Central Library, SUST (2)Call number: 551.3 NET, ... Place hold Add to cart (remove)
	3.	Practical foundations for programming languages / Robert Harper. by Harper, Robert, 1957- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, c2013 Availability: Items available for loan: Central Library, SUST (2)Call number: 005.13 HAP, ... Place hold Add to cart (remove)

Refine your search