Your search returned 2 results. Subscribe to this search

|
Mathematical theory of progam correctness / Jaco de Bakker, Arie de Bruin, Jeffery Zucker Book Publication London : Prentice-Hall International, cop. 1980
Description 16, 505, p. ; 24 cm LocationBiblioteca Mário Sottomayor Cardia Availability Available (1).

The art of computer programming : seminumerical algorithms / Donald E. Knuth Book Publication London : Addison-Wesley Publishing, cop. 1981
Description 14, 689 p. ; 24 cm LocationBiblioteca Mário Sottomayor Cardia Availability Available (1).