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 Harry Hsieh · Synchronous Equivalence: Formal Methods for Embedded Systems (Paperback Book) [Softcover reprint of the original 1st ed. 2001 edition] (2012)](https://imusic.b-cdn.net/images/item/original/646/9781461356646.jpg?harry-hsieh-2012-synchronous-equivalence-formal-methods-for-embedded-systems-paperback-book&class=scaled&v=1620739745)
![Cover for Harry Hsieh · Synchronous Equivalence: Formal Methods for Embedded Systems (Hardcover Book) [2001 edition] (2000)](https://imusic.b-cdn.net/images/item/original/622/9780792372622.jpg?harry-hsieh-2000-synchronous-equivalence-formal-methods-for-embedded-systems-hardcover-book&class=scaled&v=1410165496)