SKU/Artículo: AMZ-0521417236

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28)

Format:

Hardcover

Hardcover

Paperback

Detalles del producto
Disponibilidad:
Fuera de stock
Peso con empaque:
0.65 kg
Devolución:
Condición
Nuevo
Producto de:
Amazon
Viaja desde
USA

Sobre este producto
  • In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book.

Fuera de stock

Selecciona otra opción o busca otro producto.

Este producto viaja de USA a tus manos en

Conoce más detalles

Used Book in Good Condition