Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Sc - Carsten Sinz - Livros - Springer International Publishing AG - 9783319092836 - 4 de agosto de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Sc

Preço
R$ 297,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 de out
Receba avisos sobre novos lançamentos de Carsten Sinz
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

474 pages, 77 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 4 de agosto de 2014
ISBN13 9783319092836
Editoras Springer International Publishing AG
Páginas 474
Dimensões 155 × 235 × 24 mm   ·   662 g
Idioma Alemão  
Editor Egly, Uwe
Editor Sinz, Carsten

Mais da mesma editora