Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson Monografia Publication London : Springer, cop. 2007 Description XII, 274 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Rigorous software development : an introduction to program verification / José Bacelar Almeida... [et al.] Monografia Publication London : Springer, cop. 2011 Description XII, 263 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (3).

Place hold Add to cart