Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
No cover image available
Formal aspects of computing : the international journal of formal methods / ed. Cliff B. Jones Publicação periódica Publication London : Springer International, 1992- Description ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Reference (17).

Add to cart
Case studies in systematic software development / ed. Cliff B. Jones, Roger C. F. Shaw Monografia Publication New York : Prentice Hall, 1990 Description XV, 387 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Available (1). Checked out (1).

Place hold Add to cart
5th refinement workshop : proceedings / ed. Cliff B. Jones, Roger C. Shaw, Tim Denvir Monografia Publication London : Springer-Verlag, cop. 1992 Description VIII, 378 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart