"Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó
Tesis
Acceso abierto
Tesis
SEDICI UNLP
En sentido general, este trabajo trata sobre la construcción formal de programas. La necesidad de construir los programas formalmente ha sido ampliamente discutida a lo largo de los últimos años, y ha adquirido una im...
Idioma es
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access