
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 1: By Abramsky S & S. Abramsky
US $139,49US $139,49
Di, 09. Sep, 20:30Di, 09. Sep, 20:30
Bild 1 von 1

Galerie
Bild 1 von 1

Ähnlichen Artikel verkaufen?
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 1: By Abramsky S & S. Abramsky
~ MINT Condition! Quick & Free Delivery in 2-14 days ~
US $139,49
Ca.CHF 110,62
Artikelzustand:
“Book is in Like New / near Mint Condition. Will include dust jacket if it originally came with ”... Mehr erfahrenÜber den Artikelzustand
Neuwertig
Buch, das wie neu aussieht, aber bereits gelesen wurde. Der Einband weist keine sichtbaren Gebrauchsspuren auf. Bei gebundenen Büchern ist der Schutzumschlag vorhanden (sofern zutreffend). Alle Seiten sind vollständig vorhanden, es gibt keine zerknitterten oder eingerissenen Seiten und im Text oder im Randbereich wurden keine Unterstreichungen, Markierungen oder Notizen vorgenommen. Der Inneneinband kann minimale Gebrauchsspuren aufweisen. Minimale Gebrauchsspuren. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos Economy Shipping.
Standort: US, USA
Lieferung:
Lieferung zwischen Mo, 20. Okt und Do, 23. Okt nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Verkäufer zahlt Rückversand.
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:226754784780
Artikelmerkmale
- Artikelzustand
- Neuwertig
- Hinweise des Verkäufers
- ISBN-10
- 0198537352
- Book Title
- Handbook of Logic in Computer Science: Volume 1: Background:
- ISBN
- 9780198537359
Über dieses Produkt
Product Identifiers
Publisher
Oxford University Press, Incorporated
ISBN-10
0198537352
ISBN-13
9780198537359
eBay Product ID (ePID)
1156500
Product Key Features
Number of Pages
840 Pages
Language
English
Publication Name
Handbook of Logic in Computer Science
Publication Year
1993
Subject
Computer Science, General, Logic
Type
Textbook
Subject Area
Mathematics, Computers
Format
Hardcover
Dimensions
Item Height
1.9 in
Item Weight
53.3 Oz
Item Length
9.2 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
92-000510
Reviews
'It is a comprehensive, authoritative, and advanced collection of chapters, by leading authorities in the fields covered.' Personal Computer World'...the Handbook of Logic in Computer Science is a major work of scientific publishing.''...a highly detailed authoritative and illuminating exposition of the field, and at the same time a challenging source of ideas for further exploration.''...will illuminate the working lives of all those engaged in conducting and supervising research in computing sciences both now and in the future.'Time Higher Education Supplement'a major work of scientific publishing ... a highly detailed, authoritative and illuminating exposition of the field, and at the same time a challenging source of ideas for further exploration ... we are much indebted to the editors, authors and all those others who have worked for so many years on this substantial project.'Times Higher Education Suplement, '...the Handbook of Logic in Computer Science is a major work of scientific publishing.''...a highly detailed authoritative and illuminating exposition of the field, and at the same time a challenging source of ideas for further exploration.''...will illuminate the working lives of all those engaged in conducting and supervising research in computing sciences both now and in the future.'Time Higher Education Supplement, 'It is a comprehensive, authoritative, and advanced collection of chapters, by leading authorities in the fields covered.' Personal Computer World, 'a major work of scientific publishing ... a highly detailed, authoritative and illuminating exposition of the field, and at the same time a challenging source of ideas for further exploration ... we are much indebted to the editors, authors and all those others who have worked for so manyyears on this substantial project.'Times Higher Education Suplement
Illustrated
Yes
Volume Number
Vol. 5
Table Of Content
1. Valuation Systems and Consequence Relations, M. Ryan and M. Sadler2. Recursion Theory, I.C.C. Phillips3. Universal Algebra, K. Meinke and J.V. Tucker4. Basic Category Theory, A.K. Poigne5. Topology, M.B. Smyth6. Model Theory, J. Makovsky
Synopsis
A multi-volume work covering all major areas of application of logic to theoretical computer science. The authors are chosen on an international basis and are leaders in the fields covered., Logic is now widely recognized to be one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and artificial intelligence research. The Handbook of Logic in Computer Science is a six volume, internationally authored work which offers a comprehensive treatment of the application of the concepts 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 a major subject area. The first two volumes, available now, cover the background to the subject in terms of mathematical and computational structures. Future 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., This Handbook is a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. The intended audience is graduate students and researchers in the areas of computing and logic, as well as other people interested in the subject. We assume as background some mathematical sophistication. Much of the material will also be of interest to logicians and mathematicians., 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. volumes cover the background to the subject in terms of mathematical and computational structures. The authors are chosen on an international basis and are leaders in the fields covered. The Handbook is a closely coordinated work which has been under development for the past five years.
LC Classification Number
QA76.H2785 1992
Artikelbeschreibung des Verkäufers
Info zu diesem Verkäufer
ZUBER
98,2% positive Bewertungen•985 Tsd. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Beliebte Kategorien in diesem Shop
Verkäuferbewertungen (309'326)
Dieser Artikel (1)
Alle Artikel (309'326)
- Automatische feedback van eBay- Bewertung vom Käufer.Letzter MonatBestelling op tijd geleverd zonder problemen
- 8***g (253)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufA smooth and professional transaction throughout. The item was exactly as described, clearly listed, and fairly priced. Communication from the seller was prompt, polite, and helpful, with dispatch confirmed quickly. The parcel was securely packaged and arrived in excellent condition, ahead of the expected delivery date. Care was taken at every stage of the process. I would be happy to buy from this seller again—many thanks for a reliable and well-handled sale.FINLAND AND EUROPE: INTERNATIONAL CRISES IN THE PERIOD OF By Juhani Paasivirta (Nr. 335694307643)
- 0***t (10)- Bewertung vom Käufer.Letzter MonatBestätigter KaufItem was exactly as described and packaged to protect it. Seller’s pricing was spot on and when I received it, it was in good condition. Seller actually messaged me when they shipped it (I really appreciated that). Overall I’m happy doing business with them!
- t***s (44)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufThe Item itself I rate five stars. The seller, however, I stop at four stars. The seller met two out of three categories I look for when judging my purchasing experience: how well it was packaged, how quickly it was shipped, and how properly it was described; this seller provided prompt shipping and an accurate description, but failed when it came to packaging. The item arrived in a plastic bag without any reinforcement or protection whatsoever and suffered dinged corners on multiple fronts.
Noch mehr entdecken:
- Science-Fiction-Belletristik Romane,
- Science-Fiction-Belletristik-Jugendliche Romane,
- Science-Fiction-Belletristik-Bücher auf Deutsch,
- Bücher über Literatur Science-Fiction-Belletristik,
- Romane & Erzählungen für Kinder & Jugendliche Science-Fiction,
- Isaac-Asimov-Science-Fiction - Belletristik-Bücher,
- Science-Fiction-Belletristik-Bücher auf Deutsch Literatur,
- Science-Fiction-Belletristik-Jugendliche Romane auf Deutsch,
- Romane & Erzählungen für Kinder & Jugendliche Jugendliche Science-Fiction,
- Star Trek Science-Fiction-Bücher mit Belletristik-Genre