Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Programming Logics
  • Bestand

Treffer: Programming Logics

Titel:
Programming Logics : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach
Verantwortlich:
Voronkov, Andrei (Herausgeber); Weidenbach, Christoph (Herausgeber)
Ausgabe:
1st ed. 2013
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 447 Seiten) : 69 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 7797
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Programming Logics. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642376504
Schlagworte:
ISBN:
9783642376511 ; 3642376517 ; 9783642376504 (Sekundärausgabe) ; 9783642376528 (Sekundärausgabe)
DOI:
10.1007/978-3-642-37651-1

Zusatz-Informationen

Zusatz-Funktionen