Formalizacion algebraica de un entorno de produccion automatica de prototipos orientados a objetos

Tesis doctoral de Ambrosio Toval Alvarez Presentamos en esta tesis un entorno formal de desarrollo de prototipos operacionales, o funcionales, […]

, , , , ,