Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Foundations of software science and computation structures : proceedings / 6th International Conference, FOSSACS 2003 ; ed. Andrew D. Gordon Monografia Publication Berlin : Springer, cop. 2003 Description XII, 440 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Higher order operational techniques in semantics / ed. Andrew D. Gordon, Andrew M. Pitts Monografia Publication Cambridge : Cambridge University Press, cop. 1998 Description VII, 390 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart