Programming Logics
Essays in Memory of Harald Ganzinger
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career.The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo…
Mehr
CHF 73.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Weidenbach, Christoph (Hrsg.)
- ISBN: 978-3-642-37651-1
- EAN: 9783642376511
- Produktnummer: 33302977
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2013
- Seitenangabe: 447 S.
- Plattform: PDF
- Masse: 5'375 KB
- Auflage: 2013
- Abbildungen: 69 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 7797
56 weitere Werke von Andrei (Hrsg.) Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 133.50
Perspectives of System Informatics
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 68.50
Perspectives of System Informatics
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 77.00
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 140.00
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 140.00
Logic for Programming and Automated Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Logic Programming and Automated Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 116.00
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 153.50
Perspectives of Systems Informatics
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 118.00
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 106.50
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 160.00
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 153.50
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 160.00
Rewriting Techniques and Applications
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Perspectives of Systems Informatics
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 82.50
Perspectives of Systems Informatics
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Computer Science - Theory and Applications
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 106.50
Perspectives of System Informatics
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 75.50
Perspectives of System Informatics
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 78.00
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 93.50
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 118.00
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Logic for Programming, Artificial Intelligence, and Reasoning
Essays in Memory of Harald Ganzinger
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Bewertungen
Anmelden