Tell your friends about this item:
Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues Andrei Voronkov 2013 edition
Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues
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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 3, 2013 |
| ISBN13 | 9783642376504 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Pages | 447 |
| Dimensions | 155 × 235 × 23 mm · 639 g |
| Language | French |
| Editor | Voronkov, Andrei |
| Editor | Weidenbach, Christoph |
More by Andrei Voronkov
See all of Andrei Voronkov ( e.g. Paperback Book and Hardcover Book )
Christmas presents can be returned until 31 January