PCIC — Notas de clase

asignacion

1 artículo con esta etiqueta.

  • 27 sept 2026

    Axioma de asignación de Hoare

    • concepto
    • programacion
    • logica-de-hoare
    • asignacion

Creado con Quartz v5.0.0 © 2026

  • GitHub