Items related to Handbook of Logic in Computer Science (Handbook of...
Synopsis
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.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
Buy New
View this item
US$ 575.19
US$ 12.78 shipping from Italy to U.S.A.
Destination, rates & speedsSearch results for Handbook of Logic in Computer Science (Handbook of...
Stock Image
Handbook of Logic in Computer Science (Handbook of Logic in Computer Science, Vol 1)
Published by
Oxford University Press, 1993
ISBN 10: 0198537352
ISBN 13: 9780198537359
Used
Hardcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-R-024-02106
Quantity: 1 available
Stock Image
Handbook of Logic in Computer Science
Published by
Oxford University Press, Incorporated, 1993
ISBN 10: 0198537352
ISBN 13: 9780198537359
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 52791874-6
Quantity: 1 available
Stock Image
Handbook of Logic in Computer Science Volume 1: Background: Mathematical Structures
Published by
Oxford University Press, USA, 1993
ISBN 10: 0198537352
ISBN 13: 9780198537359
Used
Hardcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Fine. first edition, first printing, 827 pp., hardcover, slight spine slant, else fine. - 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. Seller Inventory # ZB1319851
Quantity: 1 available
Stock Image
Handbook of Logic in Computer Science: Volume 1: Background: Mathematical Structures (Handbook of Logic in Computer Science, Vol 1)
Published by
Oxford University Press, 1993
ISBN 10: 0198537352
ISBN 13: 9780198537359
Used
Hardcover
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # D8S0-3-M-0198537352-6
Quantity: 1 available
Stock Image
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 5171119c520a82914d91620072a4387e
Quantity: Over 20 available
Seller Image
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
Published by
Oxford University Press, 1993
ISBN 10: 0198537352
ISBN 13: 9780198537359
New
Einband - fest (Hardcover)
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Einband - fest (Hardcover). Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 594409975
Quantity: Over 20 available
Stock Image
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
Published by
Oxford University Press, 1993
ISBN 10: 0198537352
ISBN 13: 9780198537359
Used
Hardcover
Seller: OM Books, Sevilla, SE, Spain
Seller rating 5 out of 5 stars
Condition: Usado - bueno. Seller Inventory # 9780198537359
Quantity: 1 available