Format:
VIII, 445 S.
ISBN:
978-3-642-37650-4
Series Statement:
Lecture notes in computer science 7797 : Festschrift
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-642-37651-1
Language:
English
Keywords:
Programmierlogik
;
Aufsatzsammlung
;
Festschrift
;
Aufsatzsammlung
;
Festschrift
;
Aufsatzsammlung
;
Aufsatzsammlung
Author information:
Voronkov, Andrei, 1959-
Author information:
Ganzinger, Harald 1950-2004