Opzioni di iscrizione
Dar ao aluno o primeiro contato com métodos formais. Introduzir conceitos básicos para a verificação formal, assim como técnicas de demonstração de corretude de programas.
- Docente: Leliane Nunes de Barros
Gli ospiti non possono entrare in questo corso, per favore autenticati.