Your search returned 6 results. Subscribe to this search

|
Languages and translators derivation from abstract models / Leonor Barroca, Pedro Rangel Henriques Monografia Publication [Braga] : Universidade do Minho, 1986 Description 11 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Um exercício de especificação funcional e metodologias de implementação / Leonor Barroca, Pedro Henriques Monografia Publication Braga : Universidade do Minho, 1984 Description 25 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Especificação e implementação de um compilador para a linguagem LISS / Leonor Barroca, Pedro Rangel Henriques Monografia Publication [Braga] : Universidade do Minho, 1986 Description 62 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Da especificação funcional à implementacão, um exemplo : sistema de produção / Leonor Barroca, Pedro Henriques Monografia Publication Braga : Universidade do Minho, [19--] Description [24] f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Especificação formal de uma máquina virtual pseudo-concorrente : projecto SATDEL : relatório / Pedro Rangel Henriques, Leonor Barroca, Mário Martins Monografia Publication [Braga] : Universidade do Minho, 1986 Description 36 f. ; 29 cm LocationBiblioteca de Reservados Availability Reference (1).

Mestrado em Informática : plano de estudos para 1991-92 / José Manuel E. Valença... [et al.] Monografia Publication [Braga] : Universidade do Minho, 1991 Description 15 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).