Your search returned 3 results. Subscribe to this search

|
Programming from specifications / Carroll Morgan Monografia Publication New York : Prentice Hall, 1994 Description XIII, 332 p. ; 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).

Mathematics of program construction : proceedings / Second International Conference... ; ed. R. S. Bird, C. C. Morgan, J. C. P. Woodcock Monografia Publication Berlin : Springer-Verlag, cop. 1993 Description VIII, 378 p.24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).