No cover image available
Aplicação de métodos formais em sinalização ATM / Mário Miguel Lopes Vieira da Fonseca
Main Author Fonseca, Mário Miguel Lopes Vieira da Country Portugal. Publication Braga : M.M.L.V.F., 1995 Description XIII, 161 p. : il. ; 30 cm Dissertation Note or Thesis: Tese: Mestrado em Informática, área de Ciências da Computação, Braga, Universidade do Minho, 1995 CDU 681.324| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca de Reservados | Teses e Dissertações | BPG1 681.324 - F | Available | 145450 | ||
| Monografia | Biblioteca Geral da Universidade do Minho | Teses e Dissertações | BGUMD 62836 | Available | 153360 |
Total holds: 0
Tese: Mestrado em Informática, área de Ciências da Computação, Braga, Universidade do Minho, 1995
There are no comments for this item.