Aviso de envio ao Brasil
A iMusic aguarda aprovação no programa Remessa Conforme. Até que a adesão seja concluída, compras enviadas ao Brasil serão tributadas integralmente, inclusive pedidos abaixo de USD 50.
De acordo com a existente cláusula em nossos Termos e Condições, nós não aceitamos devoluções por recusa do pagamento desses impostos.
Atualizado em 13/05/2026 · De todos da iMusic
![Cover for Johann M. Schumann · Automated Theorem Proving in Software Engineering (Paperback Book) [Softcover Reprint of Hardcover 1st Ed. 2001 edition] (2010)](https://imusic.b-cdn.net/images/item/original/592/9783642087592.jpg?johann-m-schumann-2010-automated-theorem-proving-in-software-engineering-paperback-book&class=scaled&v=1478469544)
