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 Eduard Cerny · SVA: The Power of Assertions in SystemVerilog (Paperback Book) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/096/9783319331096.jpg?eduard-cerny-2016-sva-the-power-of-assertions-in-systemverilog-paperback-book&class=scaled&v=1487418566)
![Cover for Eduard Cerny · SVA: The Power of Assertions in SystemVerilog (Hardcover Book) [2nd ed. 2015 edition] (2014)](https://imusic.b-cdn.net/images/item/original/381/9783319071381.jpg?eduard-cerny-2014-sva-the-power-of-assertions-in-systemverilog-hardcover-book&class=scaled&v=1487418566)
![Cover for Eduard Cerny · Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method (Paperback Book) [Softcover reprint of the original 1st ed. 1998 edition] (2012)](https://imusic.b-cdn.net/images/item/original/692/9781461375692.jpg?eduard-cerny-2012-hierarchical-annotated-action-diagrams-an-interface-oriented-specification-and-verification-method-paperback-book&class=scaled&v=1502873214)
![Cover for Eduard Cerny · Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method (Hardcover Book) [Annotated edition] (1998)](https://imusic.b-cdn.net/images/item/original/017/9780792383017.jpg?eduard-cerny-1998-hierarchical-annotated-action-diagrams-an-interface-oriented-specification-and-verification-method-hardcover-book&class=scaled&v=1410252428)