|
|
Introduction to the theory of complexity / Daniel Pierre Bovet, Pierluigi Crescenzi
Monografia
Publication
New York : Prentice-Hall, cop. 1994
Description
XI, 282 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till
Monografia
Publication
London : Prentice Hall, 1996
Description
XIV, 434 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Systematic software development using VDM / Cliff B. Jones
Monografia
Publication
Englewood Cliffs, N.J. : Prentice-Hall International, cop. 1986
Description
XVI, 300 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
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).
|
|
|
Unifying theories of programming / C. A. R. Hoare and He Jifeng
Monografia
Publication
London : Prentice Hall, 1998
Description
XIX, 298 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Realtime systems / Nimal Nissanke
Monografia
Publication
London : Prentice Hall, 1997
Description
XV, 441 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Introduction to Pascal / Jim Welsh, John Elder
Monografia
Publication
Englewood Cliffs : Prentice-Hall International, cop. 1979
Description
XVIII, 282 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
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).
|
|
|
Functional programming using standard ML / Ake Wikstrom
Monografia
Publication
London : Prentice Hall, 1987
Description
XVII, 446 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Reference (1).
|
|
|
Parallel numerical algorithms / T. L. Freeman, C. Phillips
Monografia
Publication
New York : Prentice Hall, cop. 1992
Description
XI, 315 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The implementation of functional programming languages / Simon L. Peyton Jones ; colab. Philip Wadler... [et al.]
Monografia
Publication
New York : Prentice Hall, 1987
Description
XVIII, 445 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Cornerstones of undecidability / Grzegorz Rozenberg, Arto Salomaa
Monografia
Publication
New York : Prentice Hall, 1994
Description
XVI, 197 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Conceptual modelling / Magnus Boman ... [et al.]
Monografia
Publication
London : Prentice Hall, cop. 1997
Description
XIII, 269 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (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).
|