Tipos avanzados de ingeniería de software I | Apuntes, ejercicios y exámenes resueltos