PCIC — Notas de clase

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

Creado con Quartz v5.0.0 © 2026

  • GitHub