Your search returned 3 results. Subscribe to this search

|
On concurrent programming / Fred B. Schneider Monografia Publication New York : Springer, cop. 1997 Description XIX, 473 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Computability and complexity theory / Steven Homer, Alan L. Selman Monografia Publication New York : Springer, cop. 2001 Description XIII, 194 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim Von Wright ; ed. David Gries, Fred B. Schneider Monografia Publication New York : Springer, cop. 1998 Description XV, 519 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Reference (1).