Ir al contenido

Deductive and Declarative Programming
Foto de archivo: la portada puede ser diferente

Deductive and Declarative Programming Tapa blanda - 2006

de Peter Padawitz


Información de la editorial

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.

Detalles

  • Título Deductive and Declarative Programming
  • Autor Peter Padawitz
  • Encuadernación Tapa blanda
  • Páginas 288
  • Volúmenes 1
  • Idioma ENG
  • Editorial Cambridge University Press
  • Fecha de publicación 2006-11-23
  • ISBN 9780521032513 / 0521032512
  • Peso 1.02 libras (0.46 kg)
  • Dimensiones 9.61 x 6.69 x 0.6 pulgadas (24.41 x 16.99 x 1.52 cm)
  • Dewey Decimal Code 005.131
Ir arriba

Más ejemplares

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series...
Foto de archivo: la portada puede ser diferente

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

de Padawitz, Peter

  • Usado
  • Tapa blanda
  • First
Estado
Like New
Edición
First Edition
Encuadernación
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Cantidad disponible
1
Librería
Cheltenham, Gloucestershire, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 29.62
EUR 27.25 enviando a USA

Mostrar detalles

Descripción:
Cambridge University Press, 2008. First Edition. Paperback. Like New. 6x0x9. A nearly new copy with no defects, just a few hardly noticeable rubs and bumps and a 'damaged' stamp to one of the preliminary pages. Despite such this book looks and feels unread with contents that are crisp, fresh and tight. Thus a very nice book in great condition, now offered for sale at a reasonable price.
Precio
EUR 29.62
EUR 27.25 enviando a USA
Deductive and Declarative Programming
Foto de archivo: la portada puede ser diferente

Deductive and Declarative Programming

de P. Padawitz

  • Nuevo
Estado
New
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Cantidad disponible
515
Librería
Uxbridge, Greater London, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 51.43
EUR 9.47 enviando a USA

Mostrar detalles

Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Deductive and Declarative Programming.
Precio
EUR 51.43
EUR 9.47 enviando a USA
Deductive and Declarative Programming
Foto de archivo: la portada puede ser diferente

Deductive and Declarative Programming

de Peter Padawitz

  • Nuevo
  • Tapa blanda
Estado
New
Encuadernación
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Cantidad disponible
1
Librería
Exeter, Devon, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 4 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 52.91
EUR 11.85 enviando a USA

Mostrar detalles

Descripción:
Cambridge Univ Pr, 2006. Paperback. New. 285 pages. 9.61x6.46x0.71 inches.
Precio
EUR 52.91
EUR 11.85 enviando a USA
Deductive and Declarative Programming

Deductive and Declarative Programming

de Peter Padawitz

  • Nuevo
  • Tapa blanda
Estado
New
Encuadernación
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Cantidad disponible
10
Librería
Southport, Merseyside, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 57.26
EUR 11.79 enviando a USA

Mostrar detalles

Descripción:
Paperback / softback. New. The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Precio
EUR 57.26
EUR 11.79 enviando a USA
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series...
Foto de archivo: la portada puede ser diferente

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

de Padawitz, Peter

  • Nuevo
  • Tapa blanda
Estado
New
Encuadernación
Paperback
ISBN 10 / ISBN 13
9780521032513 / 0521032512
Cantidad disponible
5
Librería
campbelltown, Florida, United States
Puntuación del vendedor:
Este vendedor ha conseguido 1 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 59.52
EUR 14.17 enviando a USA

Mostrar detalles

Descripción:
Cambridge University Press. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
Precio
EUR 59.52
EUR 14.17 enviando a USA