Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 7 results. Subscribe to this search

|
Communicating sequential processes / C. A. R. Hoare Monografia Publication Englewood Cliffs : Prentice-Hall, cop. 1985 Description 256 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). Lost (1).

Place hold Add to cart
The mathematics of programming / C. A. R. Hoare Monografia Publication Oxford : Clarendon Press, 1986 Description 25 p. ; 22 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Lost (1).

Place hold Add to cart
Unifying theories of programming / C. A. R. Hoare and He Jifeng Monografia Publication London : Prentice Hall, 1998 Description XIX, 298 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Mathematical logic and programming languages / ed. C. A. R. Hoare, J. C. Shepherdson Monografia Publication Englewood Cliffs, New Jersey : Prentice-Hall, cop. 1985 Description 184 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Add to cart
No cover image available
The laws of occam programming / by A. W. Roscoe, C. A. R. Hoare Monografia Publication Oxford : Oxford University Computing Laboratory, 1986 Description 86 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Structured programming / O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare Monografia Publication London : Academic Press, imp. 1975 Description VIII, 220 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
No cover image available
VDM'90 : VDM and Z - formal methods in software development / Tird International Symposium of VDM Europe ; ed. D. Bjorner, C. A. R. Hoare, H. Langmaack Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description XVII, 579 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart