Biblioteca da Universidade do Minho

Your cart is empty.

Refine your search

Your search returned 2 results. Subscribe to this search

|
Programming language theory and its implementation : applicative and imperative paradigms / Michael J. C. Gordon Monografia Publication New York : Prentice-Hall, cop. 1988 Description XIV, 255 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Higher order logic theorem proving and its applications : proceedings / International Workshop... ; ed. Luc J. M. Claesen, Michael J. C. Gordon Monografia Publication Amsterdam : North-Holland, 1993 Description XIII, 568 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart