|
|
Functional programming : aplication and iplementation / Peter Henderson
Monografia
Publication
Englewood Cliffs : Prentice-Hall, cop. 1980
Description
XI, 355 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programming from first principles / Richard Bornat
Monografia
Publication
Englewood Cliffs, N.J. : Prentice Hall International, cop. 1987
Description
XVIII, 538 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The Z notation : a reference manual / J. M. Spivey
Monografia
Publication
New York : Prentice Hall, cop. 1989
Description
XI, 155 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Principles of programming languages / R. D. Tennent
Monografia
Publication
New York : Prentice Hall, cop. 1981
Description
XIV, 271 p. :
il. ;
23 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).
|
|
|
Nonlinear optimization : complexity issues / Stephen A. Vavasis
Monografia
Publication
New York : Oxford University Press, 1991
Description
X, 165 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Reference (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).
|
|
|
Computer science : a modern introduction / Les Goldschlager, Andrew Lister
Monografia
Publication
New York : Prentice-Hall, 1988
Description
XIII, 330 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
Programming language concepts and paradigms / David A. Watt ; contrib. William Findlay, John Hughes
Monografia
Publication
New York : Prentice Hall, 1990
Description
XVI, 322 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
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).
|