Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
The B language and method : a guide to practical formal development / K. Lano Monografia Publication London : Springer, cop. 1996 Description 232 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Object-oriented specification case studies / ed. K. Lano, H. Haughton Monografia Publication New York : Prentice-Hall, cop. 1994 Description XX, 236 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart