Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 55 results. Subscribe to this search

|
No cover image available
Tipos algébricos de dados / José Nuno Oliveira Monografia Publication Braga : J.N.F.O., 1987 Description 13 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
A Licenciatura em Engenharia de Sistemas e Informática / José Nuno Oliveira Monografia Availability No copies available

Add to cart
No cover image available
HITEX : um sistema em desenvolvimento para historiadores e arquivistas / José Nuno de Oliveira Monografia Availability No copies available

Add to cart
No cover image available
Programação funcional em VDM / José Nuno Oliveira Monografia Publication Braga : Universidade do Minho, 1987 Description 22 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
Tipos abstractos de dados em VDM / José Nuno Oliveira Monografia Publication Braga : Universidade do Minho, 1987 Description 29 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
Pascal on small microcomputers / J. Nuno Oliveira Monografia Publication Manchester : Department of Computer Science, University of Manchester, 1981 Description 125, 27 p. : il. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
Disciplina de métodos formais de programação / José Nuno Fonseca de Oliveira Monografia Publication Braga : Universidade do Minho, 1988 Description 31 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
Curriculum vitae / José Nuno Fonseca de Oliveira Monografia Publication [Braga : J.N.F.O., 19--] Description [1] f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
Especificação formal de programas / José Nuno Fonseca Oliveira Monografia Publication Braga : Universidade do Minho, 1993 Description XX, 120 p. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
Curriculum vitae / José Nuno Fonseca de Oliveira Monografia Publication [Braga] : J.N.F.O., 1988 Description 10 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
Modelos formais de semântica "dataflow" / J. N. Oliveira Monografia Publication [Braga] : J.N.F.O., 1987 Description 16, 3 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
A reification calculus for model-oriented software specification / J. N. Oliveira Monografia Publication Braga : Universidade do Minho, 1989 Description 26 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
A reification calculus for model-oriented software specification / J. N. Oliveira Monografia LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
Uma perspectiva formal sobre a programação modular / J. N. Oliveira Monografia Publication Braga : Universidade do Minho, 1987 Description 20 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
Refinamento transformacional de especificações (terminais) / J. N. Oliveira Monografia Publication [Braga] : J.N.F.O., 1987 Description [6] f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
The transformational paradigm as a means of smoothing abrupt software design steps / J. N. Oliveira Monografia Publication Braga : Universidade do Minho, 1985 Description 12 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
Transformational refinement of formal (model-oriented) specifications / J. N. Oliveira Monografia Publication Braga : Universidade do Minho, 1988 Description 19 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
Programação formal versus Modelos de computação : introdução e revisão de bibliografia / J. N. Oliveira Monografia Publication Braga : Universidade do Minho, 1984 Description 42 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
The formal semantics of deterministic dataflow programs / J. N. F. Oliveira Monografia Publication Manchester : University of Manchester, 1984 Description XIII, 349 f. : il. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart
No cover image available
"Explosive" programming controlled by calculation / José Nuno Oliveira Monografia Publication [Braga] : Universidade do Minho, [1998] Description [20] p. ; 21 cm LocationBiblioteca de Reservados Availability Reference (1).

Add to cart