Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 6 results. Subscribe to this search

|
The formal semantics of programming languages : an introduction / Glynn Winskel Monografia Publication Cambridge, Mass. : The MIT Press, imp. 1996 Description XVIII, 361 p. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo Monografia Publication Cambridge : MIT Press, cop. 1991 Description XI, 306 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
Basic category theory for computer scientists / Benjamin C. Pierce Monografia Publication Cambridge, Mass. : The MIT Press, imp. 1993 Description XIII, 100 p. : il. ; 23 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
From logic to logic programming / Kees Doets Monografia Publication Cambridge, Mass. : The MIT Press, cop. 1994 Description XII, 214 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
The formal semantics of programming languages : an introduction / Glynn Winskel Monografia Publication Cambridge, Mass. : The MIT Press, imp. 2001 Description XVIII, 361 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Algebraic theory of processes / Matthew Hennessy Monografia Publication Cambridge, Mass. : The MIT Press, cop. 1988 Description X, 272 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (3).

Place hold Add to cart