Biblioteca da Universidade do Minho

Your cart is empty.

Refine your search

Your search returned 2 results. Subscribe to this search

|
Programming from first principles / Richard Bornat Monografia Publication Englewood Cliffs, N.J. : Prentice Hall International, cop. 1987 Description XVIII, 538 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Proof and disproof in formal logic : an introduction for programmers / Richard Bornat Monografia Publication Oxford : Oxford University Press, cop. 2005 Description XIX, 243 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart