Un nuevo recurso ha sido publicado en nuestro sitio de web:

-----------------------------------------------------------

-=> ManTa [vtamara]
-=> <http://bachue.com/f/freak.cgi/item.msg.view?uid=1843&style=slec&site=slec&>

Sistema para especificar tipos abstractos de datos, probar sus propiedades y
generar código en C o en Ocaml. (Currículo universitario)

-----------------------------------------------------------

Este mensaje ha sido enviado automáticamente por el sistema
de correo de FuWeb, para la instalación de Software Libre y Educación en
Colombia
en http://bachue.com/slec.