PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
ternas-de-hoare
1 artículo con esta etiqueta.
27 sept 2026
2026-08-25 ProgAv - Ternas de Hoare y demostración formal
clase
programacion-avanzada
verificacion-formal
logica-de-hoare
ternas-de-hoare