Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
Specification and proff in real-time CSP / Jim Davies Monografia Publication Cambridge : Cambridge University Press, 1993 Description XVII, 180 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (3).

Place hold Add to cart
Using Z : specification, refinement, and proof / Jim Woodcock, Jim Davies Monografia Publication London : Prentice Hall, 1996 Description XVI, 386 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Promoting learning / ed. Chris Bell, Jim Davies, Ray Winders Monografia Publication London : Kogan Page, 1989 Description [8], 294 p. : il. ; 24 cm LocationBiblioteca de Ciências da Educação Availability Available (1).

Place hold Add to cart