Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 8 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
Software development : a rigorous approach / Cliff B. Jones Monografia Publication Englewood Cliffs : Prentice-Hall International, cop. 1980 Description XV, 382 p. : il. ; 24 cm Availability No copies available

Add to cart
Software development : a rigorous approach / Cliff B. Jones Monografia Publication Englewood Cliffs : Prentice-Hall International, cop. 1980 Description XV, 382 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
No cover image available
Formal aspects of computing : the international journal of formal methods / ed. Cliff B. Jones Publicação periódica Publication London : Springer International, 1992- Description ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Reference (17).

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
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
5th refinement workshop : proceedings / ed. Cliff B. Jones, Roger C. Shaw, Tim Denvir Monografia Publication London : Springer-Verlag, cop. 1992 Description VIII, 378 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart