Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 9 results. Subscribe to this search

|
Computers, jobs, and skills : the industrial relations of technological change / Christopher Baldry Monografia Publication New York : Plenum Press, cop. 1988 Description XVII, 191 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Proof in VDM : a practitioner's guide / Juan C. Bicarregui... [et al.] Monografia Publication London : Springer, cop. 1994 Description XVI, 362 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Systems, models and measures / Agnes Kaposi, Margaret Myers Monografia Publication London : Springer-Verlag, cop. 1994 Description XV, 335 p. : il. ; 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
Program development by refinement : case studies using the B method / ed. E. Sekerinski, K. Sere Monografia Publication London : Springer, cop. 1999 Description XXIV, 334 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Notations for software design / Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg Monografia Publication London : Springer, cop. 1994 Description XII, 425 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
High-integrity system specification and design / Jonathan P. Bowen, Michael G. Hinchey Monografia Publication Berlin : Springer-Verlag, cop. 1999 Description XIX, 701 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Formal methods and object technology / ed. S. J. Goldsack, S. J. H. Kent Monografia Publication London : Springer, 1996 Description XVIII, 368 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
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