Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

Computer-aided Reasoning - Advances in Formal Methods Softcover Reprint of the Original 1st Ed. 2000 edition

Matt Kaufmann

Preço

Íkr 27.431,74

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 21 - 29 de ago

O que dizem nossos clientes:

Adicione à sua lista de desejos do iMusic

352 pages, biography

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	8 de dezembro de 2010
ISBN13	9781441949813
Editoras	Springer-Verlag New York Inc.
Páginas	352
Dimensões	156 × 234 × 18 mm · 498 g
Idioma	English
Editor	Kaufmann, Matt
Editor	Manolios, Panagiotis
Editor	Moore, J. Strother

Mostrar tudo