Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Modal and temporal properties of processes / Colin Stirling Monografia Publication New York : Springer, cop. 2001 Description XII, 190 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Proof, language, and interaction : essays in honour of Robin Milner / ed. Gordon Plotkin, Colin Stirling, Mads Tofte Monografia Publication Cambridge, Mas. : The MIT Press, cop. 2000 Description XIV, 722 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart