Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues - Andrei Voronkov - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642376504 - 3 de abril de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Andrei Voronkov

Preço
CA$ 76,99
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 28 de jul - 1 de ago
Adicione à sua lista de desejos do iMusic

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

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

Mostrar tudo

Mais por Andrei Voronkov