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 Naijun Zhan · Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/386/9783319836386.jpg?naijun-zhan-2018-formal-verification-of-simulink-stateflow-diagrams-a-deductive-approach-paperback-book&class=scaled&v=1608723404)
![Cover for Naijun Zhan · Formal Verification of Simulink / Stateflow Diagrams: A Deductive Approach (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/146/9783319470146.jpg?naijun-zhan-2016-formal-verification-of-simulink-stateflow-diagrams-a-deductive-approach-hardcover-book&class=scaled&v=1626144150)