Course reserves for Mestrado em Engenharia Informática
- Regime: 1º semestre
- School/Institute: Escola de Engenharia (EENG)
- Code: 14598
- Curricular Unit: Métodos Formais em Engenharia de Software
- Instrutor(s):
- Notes: Ano 1
| Title | Author | Item type | Location | Collection | Call number | Copy number | Status | Date due | Notes | Link |
|---|---|---|---|---|---|---|---|---|---|---|
| Software abstractions | Daniel Jackson | Monografia | Biblioteca Geral da Universidade do Minho |
BGUM 681.3.06 - J | Available | Edição anterior à recomendada | ||||
| Principles of model checking | Christel Baier, Joost-Pieter Katoen | Monografia | Biblioteca Geral da Universidade do Minho |
BGUMD 115372 | Available | |||||
| Rigorous software development | José Bacelar Almeida... [et al.] | Monografia | Biblioteca Geral da Universidade do Minho |
BGUM 519.6 - R | Available |
