Programming with Higher-Order Logic - Dale Miller - Libros - Cambridge University Press - 9780521879408 - 11 de junio de 2012
En caso de que portada y título no coincidan, el título será el correcto

Dale Miller
Programming with Higher-Order Logic

Precio
$ 77,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de jun. - 2 de jul.

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

Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming language based on a simply typed version of higher-order logic and show that it provides an elegant approach to performing computations over structures embodying binding.

320 pages, 81 b/w illus.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 11 de junio de 2012
ISBN13 9780521879408
Editores Cambridge University Press
Páginas 320
Dimensiones 160 × 237 × 23 mm   ·   616 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Dale Miller ( Ej. CD , Paperback Book , SCD y Hardcover Book )