Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues - Andrei Voronkov - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642376504 - keskiviikko 3. huhtikuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues 2013 edition

Andrei Voronkov

Hinta
zł 223,90

Tilattu etävarastosta

Arvioitu toimitus ti 29. heinä - ke 6. elo
Lisää iMusic-toivelistallesi
Eller

Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues 2013 edition

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 3. huhtikuuta 2013
ISBN13 9783642376504
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Sivujen määrä 447
Mitta 155 × 235 × 23 mm   ·   639 g
Kieli French  
Toimittaja Voronkov, Andrei
Toimittaja Weidenbach, Christoph

Näytä kaikki

Lisää tuotteita Andrei Voronkov