|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|