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

0 valoración promedio
( 0 valoraciones por Goodreads )
 
9780198537618: Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

From the Back Cover:

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.

About the Author:

S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum are all at the Imperial College of Science, Technology, and Medicine, University of London.

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Editorial: Clarendon Press (1993)
ISBN 10: 0198537611 ISBN 13: 9780198537618
Nuevos Tapa dura Primera edición Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Clarendon Press, 1993. Hardcover. Estado de conservación: New. book. Nº de ref. de la librería M0198537611

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 155,95
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

S. Abramsky (Editor), D.M. Gabbay (Editor)
Editorial: Clarendon Press 1992 (1992)
ISBN 10: 0198537611 ISBN 13: 9780198537618
Nuevos Tapa dura Cantidad: 1
Librería
Robin Summers
(Aldeburgh, Reino Unido)
Valoración
[?]

Descripción Clarendon Press 1992, 1992. Estado de conservación: New. Hardback Fine. Nº de ref. de la librería A17066

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 143,91
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 14,52
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Abramsky, S.
Editorial: Clarendon Press (1992)
ISBN 10: 0198537611 ISBN 13: 9780198537618
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Clarendon Press, 1992. HRD. Estado de conservación: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IP-9780198537618

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 255,30
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,34
A Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Maibaum, Thomas S. E.
Editorial: Clarendon Press (1992)
ISBN 10: 0198537611 ISBN 13: 9780198537618
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Clarendon Press, 1992. HRD. Estado de conservación: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Nº de ref. de la librería IP-9780198537618

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 259,70
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,06
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Abramsky, S. [Editor]; Gabbay, Dov M. [Editor]; Maibaum, T. S. E. [Editor];
Editorial: Clarendon Press (1993)
ISBN 10: 0198537611 ISBN 13: 9780198537618
Nuevos Tapa dura Cantidad: 5
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Clarendon Press, 1993. Hardcover. Estado de conservación: New. Nº de ref. de la librería INGM9780198537618

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 274,66
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,18
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Editorial: Oxford University Press, United Kingdom (1993)
ISBN 10: 0198537611 ISBN 13: 9780198537618
Nuevos Tapa dura Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Oxford University Press, United Kingdom, 1993. Hardback. Estado de conservación: New. New.. Language: English . Brand New Book ***** Print on Demand *****. The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic. Nº de ref. de la librería APC9780198537618

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 310,71
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Editorial: Oxford University Press, United Kingdom (1993)
ISBN 10: 0198537611 ISBN 13: 9780198537618
Nuevos Tapa dura Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Oxford University Press, United Kingdom, 1993. Hardback. Estado de conservación: New. New.. Language: English . Brand New Book ***** Print on Demand *****.The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic. Nº de ref. de la librería APC9780198537618

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 310,97
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Editorial: Clarendon Press (2017)
ISBN 10: 0198537611 ISBN 13: 9780198537618
Nuevos Tapa dura Cantidad: > 20
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Clarendon Press, 2017. Hardcover. Estado de conservación: New. Never used! This item is printed on demand. Nº de ref. de la librería 0198537611

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 319,26
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 1,67
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Maibaum, Thomas S. E.
Editorial: OUP Oxford (2016)
ISBN 10: 0198537611 ISBN 13: 9780198537618
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción OUP Oxford, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9780198537618_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 352,12
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,34
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Editorial: Clarendon Press (1993)
ISBN 10: 0198537611 ISBN 13: 9780198537618
Nuevos Tapa dura Cantidad: 1
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Clarendon Press, 1993. Hardcover. Estado de conservación: Brand New. first edition edition. 584 pages. 9.75x6.50x1.25 inches. In Stock. Nº de ref. de la librería __0198537611

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 412,70
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,71
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda