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

Note moyenne 0
( 0 avis fournis par 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Meilleurs résultats de recherche sur AbeBooks

1.

S. Abramsky (Editor), Dov M. Gabbay (Editor), T. S. E. Maibaum (Editor)
Edité par Oxford University Press, USA (1993)
ISBN 10 : 0198537611 ISBN 13 : 9780198537618
Neuf(s) Couverture rigide Quantité : 1
Vendeur
Ergodebooks
(RICHMOND, TX, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Oxford University Press, USA, 1993. Hardcover. État : New. N° de réf. du libraire DADAX0198537611

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 212,69
Autre devise

Ajouter au panier

Frais de port : EUR 3,43
Vers Etats-Unis
Destinations, frais et délais

2.

Abramsky, S.
Edité par Clarendon Press (1992)
ISBN 10 : 0198537611 ISBN 13 : 9780198537618
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Pbshop
(Wood Dale, IL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Clarendon Press, 1992. HRD. État : New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire IP-9780198537618

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 261,75
Autre devise

Ajouter au panier

Frais de port : EUR 3,43
Vers Etats-Unis
Destinations, frais et délais

3.

Maibaum, Thomas S. E.
Edité par Clarendon Press (1992)
ISBN 10 : 0198537611 ISBN 13 : 9780198537618
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Clarendon Press, 1992. HRD. État : 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 réf. du libraire IP-9780198537618

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 264,05
Autre devise

Ajouter au panier

Frais de port : EUR 10,07
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

4.

Abramsky, S. [Editor]; Gabbay, Dov M. [Editor]; Maibaum, T. S. E. [Editor];
Edité par Clarendon Press (1993)
ISBN 10 : 0198537611 ISBN 13 : 9780198537618
Neuf(s) Couverture rigide Quantité : 5
Vendeur
Ergodebooks
(RICHMOND, TX, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Clarendon Press, 1993. Hardcover. État : New. N° de réf. du libraire INGM9780198537618

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 281,61
Autre devise

Ajouter au panier

Frais de port : EUR 3,43
Vers Etats-Unis
Destinations, frais et délais

5.

Edité par Oxford University Press, United Kingdom (1993)
ISBN 10 : 0198537611 ISBN 13 : 9780198537618
Neuf(s) Couverture rigide Quantité : 10
impression à la demande
Vendeur
The Book Depository US
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Oxford University Press, United Kingdom, 1993. Hardback. État : 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 réf. du libraire APC9780198537618

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 316,50
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

6.

Edité par Oxford University Press, United Kingdom (1993)
ISBN 10 : 0198537611 ISBN 13 : 9780198537618
Neuf(s) Couverture rigide Quantité : 10
impression à la demande
Vendeur
The Book Depository
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Oxford University Press, United Kingdom, 1993. Hardback. État : 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 réf. du libraire APC9780198537618

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 316,54
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

7.

Edité par Clarendon Press (1993)
ISBN 10 : 0198537611 ISBN 13 : 9780198537618
Neuf(s) Couverture rigide Edition originale Quantité : 1
Vendeur
Irish Booksellers
(Rumford, ME, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Clarendon Press, 1993. Hardcover. État : New. book. N° de réf. du libraire 0198537611

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 323,89
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

8.

Edité par Clarendon Press (2017)
ISBN 10 : 0198537611 ISBN 13 : 9780198537618
Neuf(s) Couverture rigide Quantité : 13
impression à la demande
Vendeur
Murray Media
(North Miami Beach, FL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Clarendon Press, 2017. Hardcover. État : New. This item is printed on demand. N° de réf. du libraire 0198537611

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 332,89
Autre devise

Ajouter au panier

Frais de port : EUR 2,57
Vers Etats-Unis
Destinations, frais et délais

9.

Maibaum, Thomas S. E.
Edité par OUP Oxford (2016)
ISBN 10 : 0198537611 ISBN 13 : 9780198537618
Neuf(s) Paperback Quantité : 1
impression à la demande
Vendeur
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre OUP Oxford, 2016. Paperback. État : New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. N° de réf. du libraire ria9780198537618_lsuk

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 352,58
Autre devise

Ajouter au panier

Frais de port : EUR 4,33
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

10.

ISBN 10 : 0198537611 ISBN 13 : 9780198537618
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
BWB
(Valley Stream, NY, Etats-Unis)
Evaluation vendeur
[?]

Description du livre État : New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. N° de réf. du libraire POD_9780198537618

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 360,96
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre