Desenvolvimento e Verificação de Software
pt
en
Bibliografia
Principal
Software Abstractions: Logic, Language, and Analysis:
D. Jackson
2006
MIT Press
Introduction to Software Testing:
P. Amman and J. Offutt
2008
Cambridge University Press
Secundária
Não foi definida bibliografia secundária
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Notas
Resultado dos QUC