Ir al contenido

Handbook of Logic in Computer Science: Volume 2: Background: Computational
Foto de archivo: la portada puede ser diferente

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures Tapa dura - 1993

de S. Abramsky (Editor); Dov M. Gabbay (Editor); T. S. Maibaum (Editor)


Información de la editorial

The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of logic to theoretical computer science. Each volume is comprised of an average of five 100-page monographs and presents an in-depth overview of one of the field's major topics. Current volume topics include mathematical and computational structures; forthcoming volumes will cover semantic structures, semantic modelling, theoretical methods in specification and verification, and logical methods in computer science. The result of five years of cooperative effort by some of the field's most eminent scholars, this series will undoubtedly be the standard reference work in logic and theoretical computer science for years to come.

Descripción de contraportada

We are happy to present the first volumes of the 'Handbook of Logic in Computer Science.' Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming language and artificial intelligence. There is a growing need for an in depth survey of the application of logic in computer science and AI. The 'Handbook of Logic in Computer Science' and its companion, the 'Handbook of Logic in Artificial Intelligence and Programming' have been created in response to this need.

Detalles

  • Título Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
  • Autor S. Abramsky (Editor); Dov M. Gabbay (Editor); T. S. Maibaum (Editor)
  • Encuadernación Tapa dura
  • Edición First Edition
  • Páginas 584
  • Volúmenes 1
  • Idioma ENG
  • Editorial Clarendon Press, Oxford, United Kingdom
  • Fecha de publicación 1993-03-18
  • ISBN 9780198537618 / 0198537611
  • Peso 2.36 libras (1.07 kg)
  • Dimensiones 9.49 x 6.44 x 1.5 pulgadas (24.10 x 16.36 x 3.81 cm)
  • Número de catálogo de la Librería del Congreso de EEUU 92-510
  • Dewey Decimal Code 004
Ir arriba

Más ejemplares

Handbook of Logic in Computer Science. Volume 2: Background: Computational Structures
Foto de archivo: la portada puede ser diferente

Handbook of Logic in Computer Science. Volume 2: Background: Computational Structures

de S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, editors

  • Usado
  • Tapa dura
  • First
Estado
Usado
Encuadernación
Hardcover
ISBN 10 / ISBN 13
9780198537618 / 0198537611
Cantidad disponible
1
Librería
Cleveland, Ohio, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 69.40
EUR 4.25 enviando a USA

Mostrar detalles

Descripción:
Oxford: Clarendon Press, 1992. *Price HAS BEEN REDUCED by 10% until Monday, April 29 (sale item)* First edition, first printing, 571 pp., hardcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Precio
EUR 69.40
EUR 4.25 enviando a USA
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
Foto de archivo: la portada puede ser diferente

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

de Abramsky, S. [Editor]; Gabbay, Dov M. [Editor]; Maibaum, T. S. E. [Editor];

  • Nuevo
  • Tapa dura
Estado
New
Encuadernación
Hardcover
ISBN 10 / ISBN 13
9780198537618 / 0198537611
Cantidad disponible
1
Librería
San Diego, California, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 231.18
EUR 5.15 enviando a USA

Mostrar detalles

Descripción:
Clarendon Press, 1993-03-18. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Precio
EUR 231.18
EUR 5.15 enviando a USA
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

de Thomas S. E. Maibaum

  • Nuevo
  • Tapa dura
Estado
New
Encuadernación
Hardcover
ISBN 10 / ISBN 13
9780198537618 / 0198537611
Cantidad disponible
614
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 515.83
EUR 9.45 enviando a USA

Mostrar detalles

Descripción:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures.
Precio
EUR 515.83
EUR 9.45 enviando a USA
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
Foto de archivo: la portada puede ser diferente

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

de Abramsky, S. [Editor]; Gabbay, Dov M. [Editor]; Maibaum, T. S. E. [Editor];

  • Nuevo
  • Tapa dura
Estado
New
Encuadernación
Hardcover
ISBN 10 / ISBN 13
9780198537618 / 0198537611
Cantidad disponible
5
Librería
campbelltown, Florida, United States
Puntuación del vendedor:
Este vendedor ha conseguido 2 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 586.02
EUR 14.18 enviando a USA

Mostrar detalles

Descripción:
Clarendon Press. Hardcover. New. 9x6x1. Brand New Book in Publishers original Sealing
Precio
EUR 586.02
EUR 14.18 enviando a USA