Pinguim: inovação no ensino de computação teórica através de modelos formais modernizados
| dc.contributor.advisor | Cota, Erika Fernandes | pt_BR |
| dc.contributor.author | Pimentel, Kamille Konarzewski | pt_BR |
| dc.contributor.author | Arend, Beatriz Aline | pt_BR |
| dc.contributor.author | Ikuta, Gabriel Kenji Yatsuda | pt_BR |
| dc.date.accessioned | 2025-04-16T15:04:35Z | pt_BR |
| dc.date.issued | 2024 | pt_BR |
| dc.identifier.uri | http://hdl.handle.net/10183/290088 | pt_BR |
| dc.format.mimetype | application/pdf | pt_BR |
| dc.language.iso | por | pt_BR |
| dc.rights | Open Access | en |
| dc.title | Pinguim: inovação no ensino de computação teórica através de modelos formais modernizados | pt_BR |
| dc.type | Resumo publicado em evento | pt_BR |
| dc.contributor.event | Salão de Ensino (20. : 2024 set. 2-6 : UFRGS, Porto Alegre, RS). | pt_BR |
| dc.subject.cnpq | Ciências exatas e da terra | pt_BR |
| dc.identifier.sic | 85801 | pt_BR |
Este item está licenciado na Creative Commons License

