Your search returned 3 results.

Results
	1.	No cover image available No cover image available On the synthesis of reliable programs/ by Carlos José Pereira de Lucena. by Lucena, Carlos José Pereira de, 1943- Series: Computer languages group Publication details: 1975 Dissertation note: Thesis (Ph. D.)--UCLA--Computer Science. Availability: Items available for loan: Castorina (1)Call number: 005 L935s 1975 IMPA. Place hold Add to cart (remove)
	2.	No cover image available No cover image available Introdução a teoria de programação/ Carlos José P. de Lucena. by Lucena, Carlos José Pereira de, 1943- Colóquio Brasileiro de Matemática( (8th: 1971: Poços de Caldas, Brazil) Series: Colóquio Brasileiro de Matemática. Apostilas Publication details: Rio de Janeiro: [s.n.], 1971 Availability: Items available for loan: Castorina (1)Call number: 005.101 L935i 1971 IMPA. Items available for reference: Castorina: Not For Loan (1)Call number: 005.101 L935i 1971 IMPA. Place hold Add to cart (remove)
	3.	No cover image available No cover image available Análise e síntese de programas : uma introdução/ Carlos J. P. Lucena. by Lucena, Carlos José Pereira de, 1943- Escola de computação (2.: 1981 : Campinas, SP, Brasil) Publication details: Campinas: IMECC-Unicamp, 1981 Availability: Items available for loan: Castorina (1)Call number: 005.12 L935a 1981 IMPA. Place hold Add to cart (remove)

Refine your search