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 Christel Baier · Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu (Paperback Book) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/803/9783662466803.jpg?christel-baier-2015-tools-and-algorithms-for-the-construction-and-analysis-of-systems-21st-international-conference-tacas-2015-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2015-london-uk-april-11-18-2015-proceedin&class=scaled&v=1450314149)
![Cover for Christel Baier · CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/766/9783540373766.jpg?christel-baier-2006-concur-2006-concurrency-theory-17th-international-conference-concur-2006-bonn-germany-august-27-30-2006-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1450314149)
![Cover for Christel Baier · Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/651/9783540222651.jpg?christel-baier-2004-validation-of-stochastic-systems-a-guide-to-current-research-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1450314149)