Andrei (Hrsg.) Voronkov
Programming Logics
Essays in Memory of Harald Ganzinger
Buch
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
Beschreibung
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 theories, and applications of automated reasoning in biology.
CHF 134.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V301:
Libri-Titel folgt in ca. 2 Arbeitstagen
Produktdetails
Weitere Autoren: Weidenbach, Christoph (Hrsg.)
- ISBN: 978-3-642-37650-4
- EAN: 9783642376504
- Produktnummer: 14755384
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2013
- Seitenangabe: 445 S.
- Masse: H23.5 cm x B15.5 cm x D2.4 cm 692 g
- Abbildungen: Book; 69 schwarz-weiße Abbildungen
- Reihenbandnummer: 7797
- Gewicht: 692
56 weitere Werke von Andrei (Hrsg.) Voronkov:
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 133.50
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 68.50
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 77.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 140.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 140.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 116.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 153.50
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 118.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 106.50
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 160.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 153.50
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 160.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 82.50
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 106.50
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 75.50
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 78.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 93.50
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 118.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Essays in Memory of Harald Ganzinger
Ebook (PDF Format)
CHF 120.00
Bewertungen
0 von 0 Bewertungen
Anmelden
Keine Bewertungen gefunden. Seien Sie der Erste und teilen Sie Ihre Erkenntnisse mit anderen.