Libro: Estrategias De Estrechamiento Perezoso: Modelos De Có

Descripción

¿Qué recibes con tu compra?
Libro: Estrategias de Estrechamiento Perezoso: Modelos de Cómputo para la Programación Lógico Funcional (Spanish Edition)

¿Por qué comprar con nosotros?

Todos nuestros productos son nuevos y originales importados de Estados Unidos, tenemos cobertura de entrega en todo el país
¡Tú compra está protegida! Ofrecemos 30 días de garantía por cualquier motivo en todos nuestros productos, lo anterior es adicional a la garantía de fábrica de cada producto.

Descripción:
La Programación Declarativa constituye una de las áreas de dotadas de un mayor fundamento matemático dentro del campo de la programación, lo que la ejerce un alto nivel de abstracción de gran utilidad en número limitado de aplicación. Tradicionalmente, ha sido dividido en dos separados basados ??en diferentes formalismos matemáticos y en diferentes cómputos subyacentes: La Programación Funcional y la Programación Lógica. Con el fin de integrar las ventajas de ambos en uno solo, se han desarrollado en las últimas décadas varias propuestas de Lenguajes de Programación Lógico Funcional, muchos de los cuales hacen uso de la relación de Estrechamiento como modelo de cómputo unificado para definir su semántica operativa . Sin embargo, debido a la ineficiencia del estrechamiento, muchas estrategias han sido propuestras con el fin de refinar el espacio de cómputo que se genera. Entre ellas, las más recientes se han centrado en el estudio de las denominadas Estrategias de Estrechamiento Perezoso. El presente libro presenta los principales cálculos y estrategias de estrechamiento perezoso que se han desarrollado en las últimas décadas.

IMPORTANTE:
-Rapidez en envió: PRODUCTO DISPONIBLE para envió Internacional
-Asesoría: Aclara todas tus dudas sobre compatibilidad en la sección de preguntas, estamos para servirte.