Your search returned 5 results.

Results
		Foundations for programming languages / John C. Mitchell by Mitchell, John C Series: Foundations of computing Material type: Text Publication details: Cambridge, Mass.: MIT Press, 1996 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.7 .M57 1996. Place hold Log in to add tags Add to cart (remove)
		Control flow semantics / Jaco de Bakker and Erik de Vink by Bakker, J. W Vink, Erik de Series: Foundations of computing Material type: Text Publication details: Cambridge, MA: The MIT Press, 1996 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.7 .B34 1996. Place hold Log in to add tags Add to cart (remove)
		Computability and complexity : from a programming perspective / Neil D. Jones by Jones, Neil D Series: Foundations of computing Material type: Text Publication details: Cambridge, MA: MIT Press, 1997 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.6 .J66 1997. Place hold Log in to add tags Add to cart (remove)
		Algorithmic number theory / Eric Bach, Jeffrey Shallit by Bach, Eric Shallit, Jeffrey Outlaw Series: Foundations of computing Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Cambridge, Mass.: MIT Press, 1996 Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: QA241 .B33 1996. Place hold Log in to add tags Add to cart (remove)
		Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm by Goguen, Joseph Malcolm, Grant Series: Foundations of computing Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Cambridge, Mass. : MIT Press, c1996 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.7 .G63 1996. Place hold Log in to add tags Add to cart (remove)