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 Kothanda Umamageswaran · Formal Semantics and Proof Techniques for Optimizing VHDL Models (Paperback Book) [Softcover reprint of the original 1st ed. 1999 edition] (2012)](https://imusic.b-cdn.net/images/item/original/315/9781461373315.jpg?kothanda-umamageswaran-2012-formal-semantics-and-proof-techniques-for-optimizing-vhdl-models-paperback-book&class=scaled&v=1614707558)
![Cover for Kothanda Umamageswaran · Formal Semantics and Proof Techniques for Optimizing VHDL Models (Hardcover Book) [1999 edition] (1998)](https://imusic.b-cdn.net/images/item/original/758/9780792383758.jpg?kothanda-umamageswaran-1998-formal-semantics-and-proof-techniques-for-optimizing-vhdl-models-hardcover-book&class=scaled&v=1410214903)