CC7125-1 Introducción a Coq: Lógica, Tipos y Verificación 2017, Primavera

U-Cursos requiere Javascript para su correcto funcionamiento, sin embargo puede entrar al sitio a través de U-Pasaporte

Introducción a Coq: Lógica, Tipos y Verificación

Reportar Archivo

Categoría	Clases
Autor	Martin Bodin
Última Modificación	20 Nov 201720/11/17 a las 16:24 hrs.2017-11-20 16:24:20
Compartir	Enlace Facebook Twitter Whatsapp Telegram LinkedIn Código QR