Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods
Logic is now widely recognized as 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 AI. The Handbook of Logic in Computer Science is a multi-volume work coveringall the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminentfrontline researchers in the field, and will no doubt be the st…
Mehr
CHF 598.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Gabbay, Dov M. (Hrsg.) / Maibaum, T. S. E. (Hrsg.)
- ISBN: 978-0-19-853781-6
- EAN: 9780198537816
- Produktnummer: 22404140
- Verlag: OXFORD UNIV PR
- Sprache: Englisch
- Erscheinungsjahr: 2001
- Seitenangabe: 560 S.
- Masse: H23.8 cm x B16.6 cm x D3.3 cm 907 g
- Gewicht: 907
Über den Autor
S Abramsky, Department of Computing, Imperial College of Science, Technology and Medicine, London Dov Gabbay, Department of Computer Science, King's College, London T S E Maibaum, Department of Computing, Imperial College of Science, Technology and Medicine, London
6 weitere Werke von S. (Hrsg.) Abramsky:
Bewertungen
Anmelden