Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 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
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