¡Lo encontramos por ti!

Verificada la Programación Funcional en Agda

Más vistas

Verificada la Programación Funcional en Agda
COP 776550 In stock

Special Price 776.550 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

3 Unidades disponibles en Estados Unidos.
Vendido por Ebay

Descripción

Detalles

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
Información adicional

Información adicional

Nombre en Ingés Verified Functional Programming in Agda
Upc 53646765-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.

WhatsApp