Verwandte Artikel zu Programming Logics: Essays in Memory of Harald Ganzinger:...
Programming Logics: Essays in Memory of Harald Ganzinger: 7797 (Theoretical Computer Science and General Issues) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 60,20
EUR 13,78 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Suchergebnisse für Programming Logics: Essays in Memory of Harald Ganzinger:...
Beispielbild für diese ISBN
Programming Logics: Essays in Memory of Harald Ganzinger (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783642376504_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Programming Logics
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
ISBN 10: 3642376509
ISBN 13: 9783642376504
Neu
Softcover
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Editor(s): Voronkov, Andrei; Weidenbach, Christoph. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, 69 black & white illustrations, biography. BIC Classification: PBCD; UYQ; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 640. . 2013. Paperback. . . . . Books ship from the US and Ireland. Artikel-Nr. V9783642376504
Anzahl: 15 verfügbar
Foto des Verkäufers
Programming Logics : Essays in Memory of Harald Ganzinger
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783642376504
Anzahl: 1 verfügbar