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 Annabelle McIver · Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science (Paperback Book) [Softcover reprint of hardcover 1st ed. 2005 edition] (2010)](https://imusic.b-cdn.net/images/item/original/127/9781441923127.jpg?annabelle-mciver-2010-abstraction-refinement-and-proof-for-probabilistic-systems-monographs-in-computer-science-paperback-book&class=scaled&v=1500227421)
![Cover for Annabelle McIver · Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science (Hardcover Book) [2005 edition] (2004)](https://imusic.b-cdn.net/images/item/original/157/9780387401157.jpg?annabelle-mciver-2004-abstraction-refinement-and-proof-for-probabilistic-systems-monographs-in-computer-science-hardcover-book&class=scaled&v=1500227421)
