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
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 29 de jun.

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 )