DAO con Coq:Acerca de - DAO con Coq

DAO con Coq

Acerca de

De DAO con Coq

Revisión del 09:39 27 jul 2018 de Jalonso (discusión | contribuciones) (Página creada con «Apuntes de DAO (demostración asistida por ordenador) con Coq.»)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Apuntes de DAO (demostración asistida por ordenador) con Coq.

Obtenido de «https://www.glc.us.es/~jalonso/DAOconCoq/index.php?title=DAO_con_Coq:Acerca_de&oldid=13»