*Result*: Programming Logics
*Title*:
Programming Logics : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach
*Author/editor-in-chief*:
*Edition*:
1st ed. 2013
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (X, 447 Seiten) : 69 illus.
*Format*:
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 7797
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Programming Logics. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642376504
*Subject Added Keywords*:
*ISBN*:
9783642376511 ; 3642376517 ; 9783642376504 (Sekundärausgabe) ; 9783642376528 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-37651-1