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
NODOVOX Discovery
Índice central bibliográfico con relevancia, facetas, obras canónicas, holdings KBART y acceso consolidado.