Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 6 results. Subscribe to this search

|
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).

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
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).

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
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).

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