Inicio /
Verificada la Programación Funcional en Agda

Verificada la Programación Funcional en Agda

Más vistas

COP 496000 In stock

Special Price 496.000 COP $

Disponibilidad: En existencias

Agda es un avanzado lenguaje de programación basado en el Tipo de Teoría. Agda del tipo de sistema es expresiva suficiente para apoyar la plena...

Agda es un avanzado lenguaje de programación basado en el Tipo de Teoría. Agda del tipo de sistema es expresiva suficiente para apoyar la plena verificación del funcionamiento de los programas, en dos estilos. En la verificación externa, podemos escribir la pura funcional de los programas y, a continuación, escribir pruebas de

1 Unidades disponibles en Estados Unidos.
Vendido por Ebay

Cantidad:

Descripción

Detalles

Información adicional

Información adicional

Nombre en Ingés	Verified Functional Programming in Agda
Upc	53646764-w
Modelo	No
Edad	N/A
Género	No
Largo	N/A
Ancho	N/A
Alto	N/A
Marca	No
Color	No

Etiqueta de Producto

Utiliza espacios para separar las etiquetas. Usa comillas simples (') para expresiones.