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 Marcello M Bonsangue · Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers - Theoretical Computer Science and General Issues (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/237/9783662441237.jpg?marcello-m-bonsangue-2014-coalgebraic-methods-in-computer-science-12th-ifip-wg-1-3-international-workshop-cmcs-2014-colocated-with-etaps-2014-grenoble-france-april-5-6-2014-revised-selected-papers-theoretical-computer-science-and-general-issues-paperback-b&class=scaled&v=1556269572)
![Cover for Marcello M Bonsangue · Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/875/9783540921875.jpg?marcello-m-bonsangue-2008-formal-methods-for-components-and-objects-6th-international-symposium-fmco-2007-amsterdam-the-netherlands-october-24-26-2007-revised-lectures-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1435175473)
![Cover for Marcello M Bonsangue · Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures - Programming and Software Engineering (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/918/9783540747918.jpg?marcello-m-bonsangue-2007-formal-methods-for-components-and-objects-5th-international-symposium-fmco-2006-amsterdam-netherlands-november-7-10-2006-revised-lectures-programming-and-software-engineering-paperback-book&class=scaled&v=1556269608)
![Cover for Marcello M Bonsangue · Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/198/9783540729198.jpg?marcello-m-bonsangue-2007-formal-methods-for-open-object-based-distributed-systems-9th-ifip-wg-6-1-international-conference-fmoods-2007-paphos-cyprus-june-6-8-2007-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1556269604)