Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Programming from specifications / Carroll Morgan Monografia Publication New York : Prentice Hall, 1994 Description XIII, 332 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
On the refinement calculus / ed. Carroll Morgan, Trevor Vickers Monografia Publication London : Springer-Verlag, cop. 1992 Description [12], 159 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart