Programming with Higher-Order Logic

Idioma: inglés

Editorial: Cambridge University Press, 2012

052187940X / 9780521879408

Librería: moluna, Greven, Alemaniamoluna

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 9 de julio de 2020

Tapa dura

Condición: Nuevo

EUR 69,80

Envío por EUR 48,99 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 elega.

N° de ref. del artículo 5919243

Título
Programming with Higher-Order Logic
Autor
Miller, Dale|Nadathur, Gopalan
Editorial
Cambridge University Press
Año de publicación
2012
Estado
New
Encuadernación
Gebunden
Idioma
inglés
ISBN 10
052187940X
ISBN 13
9780521879408

moluna

Greven, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 9 de julio de 2020

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 16 a 45 días hábilesDe 16 a 45 días hábiles
Primer artículoEUR 48,99EUR 48,99
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • Giro bancario
  • PayPal

Descripción de la tienda

Online Handel nur mit Neubüchern

Información empresarial del vendedor

Moluna GmbH

Engberdingdamm 27
Greven, Alemania 48268