Your search returned 3 results.

Results
	1.	Logic in computer science: modelling and reasoning about systems/ Michael Huth, Mark Ryan. by Huth, Michael, 1962- Ryan, Mark, 1962- Edition: 2nd ed. Publication details: Cambridge [U.K.]; New York: Cambridge University Press, 2004 Availability: Items available for loan: Castorina (1)Call number: 005.131 H979l 2004 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Introdução à programação : 500 algoritmos resolvidos / Anita Lopes, Guto Garcia. by Lopes, Anita, 1952- Garcia, Guto Material type: Text; Format: print ; Literary form: Not fiction Publication details: Rio de Janeiro (RJ) : Campus, 2002 Availability: Items available for loan: IMPATECH (2)Call number: 005 L864i 2002 IMPA TECH, ... Found in Open Library: Place hold Add to cart (remove)
	3.	The collected papers of Stephen Smale/ edited by F. Cucker, R. Wong. by Smale, Stephen, 1930- Cucker, Felipe, 1958- Wong, R. (Roderick), 1944- Publication details: Singapore: River Edge, NJ: Singapore University Press; World Scientific, c2000 Availability: Items available for reference: Castorina: Not For Loan (3). Found in Open Library: Add to cart (remove)

Refine your search