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 Christian Herde · Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-continuous Systems (Paperback Book) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/944/9783834814944.jpg?christian-herde-2011-efficient-solving-of-large-arithmetic-constraint-systems-with-complex-boolean-structure-proof-engines-for-the-analysis-of-hybrid-discrete-continuous-systems-paperback-book&class=scaled&v=1408599051)