Esta es nuestra librería de Chile.

Parece que estás en Estados Unidos. Para comprar en nuestra librería de Chile necesitas una dirección Chile. Ve a nuestra librería de Estados Unidos para continuar.

Ir a la librería de Estados UnidosElegir otra librería
Saltar al contenido principal
Lista de deseos
Cesta
Crear cuenta
¿Tienes cuenta?Iniciar sesión
Programming with Higher-Order Logic - eBook de Dale Miller,Gopalan Nadathur

Programming with Higher-Order Logic

Dale Miller,Gopalan Nadathur

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9781139506298
  • Fecha de lanzamiento:30 may 2013
  • Editorial:Cambridge University Press