|
|
Algebra of programming / Richard Bird, Oege de Moor
Monografia
Publication
New York : Prentice Hall, 1997
Description
XIV, 295 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
Reference (1).
|
|
|
Real-time systems : specification, verification and analysis / ed. Mathai Joseph
Monografia
Publication
London : Prentice Hall, cop. 1996
Description
XIV, 278 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
Programming in occam R2 / Geraint Jones, Michael Goldsmith
Monografia
Publication
New York : Prentice Hall, 1988
Description
X, 317 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Principles of concurrent and distributed programming / M. Ben-Ari
Monografia
Publication
New York : Prentice Hall, cop. 1990
Description
X, 225 p. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Computer science : a mathematical introduction / Art Lew
Monografia
Publication
Englewood Cliffs : Prentice-Hall, cop. 1985
Description
XXVI, 421 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computer and communication systems performance modelling / Peter J. B. King
Monografia
Publication
New York : Prentice Hall, 1990
Description
XIV, 245 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Object-oriented software construction / Bertrand Meyer
Monografia
Publication
New York : Prentice-Hall, 1988
Description
XVIII, 534 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
The logic of programming / Eric C. R. Hehner
Monografia
Publication
Englewood Cliffs, N.J. : Prentice-Hall, cop. 1984
Description
361 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
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).
|
|
|
Mathematical logic for computer science / M. Ben-Ari
Monografia
Publication
New York : Prentice Hall, 1993
Description
XI, 305 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Discrete-time models for communication systems including ATM / Herwig Bruneel, Byung G. Kim
Monografia
Publication
Boston : Kluwer Academic Publishers, cop. 1993
Description
X, 200 p. :
il. gráficos ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Coordination of distributed problem solvers / Edmund H. Durfee
Monografia
Publication
Bostob : Kluwer Academic, cop. 1988
Description
VIII, 269 p. :
il. gráficos ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|