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

SEK 2.109

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 26 de set - 6 de out

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