Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science - Christian Prehofer - Libros - Birkhauser Boston Inc - 9780817640323 - 18 de diciembre de 1997
En caso de que portada y título no coincidan, el título será el correcto

Christian Prehofer
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science 1998 edition

Precio
€ 95,99

Pedido desde almacén remoto

Entrega prevista 12 - 20 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

This monograph develops techniques for equational reasoning and declarative programming based on higher-order logic. The author presents a framework for the full integration of declarative programming models and shows its application.

188 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 18 de diciembre de 1997
ISBN13 9780817640323
Editores Birkhauser Boston Inc
Páginas 188
Dimensiones 156 × 234 × 12 mm   ·   494 g
Lengua Inglés  

Ver todo de Christian Prehofer ( Ej. Hardcover Book y Paperback Book )