Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 33 results. Subscribe to this search

|
Communication and concurrency / Robin Milner Monografia Publication New York : Prentice-Hall, cop. 1989 Description XI, 260 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Systematic software development using VDM / Cliff B. Jones Monografia Publication New York : Prentice-Hall, cop. 1990 Description XIV, 333 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Distributed systems and computer networks / Morris Sloman, Jeff Kramer Monografia Publication Englewood Cliffs : Prentice-Hall, cop. 1987 Description XVI, 336 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Computation as logic / René Lalement ; trad. John Plaice Monografia Publication Englewood Cliffs, N.J. : Prentice Hall, cop. 1993 Description XI, 387 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Formal specification and software development / Dines Bjorner, Cliff B. Jones ; colab. Derek Andrews... [et al.] Monografia Publication Englewood Cliffs : Prentice Hall, cop. 1982 Description X, 501 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Category theory for computing science / Michael Barr, Charles Wells Monografia Publication New York : Prentice Hall, 1990 Description XV, 432 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Introduction to functional programming / Richard Bird, Philip Wadler Monografia Publication New York : Prentice Hall, 1988 Description XV, 293 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Introduction to Pascal / Jim Welsh, John Elder Monografia Publication New York : Prentice Hall, cop. 1988 Description X, 315 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Object-oriented databases : a semantic data model approach / Peter M. D. Gray, Krishnarao G. Kulkarni, Norman W. Paton Monografia Publication New York : Prentice Hall, 1992 Description XV, 237 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
Introduction to the theory of programming languages / Bertrand Meyer Monografia Publication New York : Prentice Hall, cop. 1991 Description XVI, 447 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Mathematical theory of program correctness / Jaco de Bakker ; colab. Arie de Bruin, Jeffery Zucker Monografia Publication Englewood Cliffs, N.J. : Prentice Hall, cop. 1980 Description XVI, 505 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Case studies in systematic software development / ed. Cliff B. Jones, Roger C. F. Shaw Monografia Publication New York : Prentice Hall, 1990 Description XV, 387 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Available (1). Checked out (1).

Place hold Add to cart
Computational category theory / David E. Rydeheard, Rod M. Burstall Monografia Publication New York : Prentice Hall, 1988 Description XIV, 257 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Checked out (1).

Place hold Add to cart