Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues - Andrei Voronkov - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642376504 - April 3, 2013
In case cover and title do not match, the title is correct

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

Andrei Voronkov

Price
SEK 569

Ordered from remote warehouse

Expected delivery Jul 24 - Aug 1

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 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
Show all

More by Andrei Voronkov

See all of Andrei Voronkov ( e.g. Paperback Book and Hardcover Book )