
Conte aos seus amigos sobre este item:
Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues 2013 edition
Andrei Voronkov
Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues 2013 edition
Andrei Voronkov
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.
447 pages, 69 black & white illustrations, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 3 de abril de 2013 |
ISBN13 | 9783642376504 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Gênero | Aspects (Academic) > Science / Technology Aspects |
Páginas | 447 |
Dimensões | 155 × 235 × 23 mm · 639 g |
Idioma | French |
Editor | Voronkov, Andrei |
Editor | Weidenbach, Christoph |
Mais por Andrei Voronkov
Ver tudo de Andrei Voronkov ( por exemplo Paperback Book e Hardcover Book )