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 Fabrice Kordon · Formal Methods for Embedded Distributed Systems: How to Master the Complexity (Paperback Book) [1st Ed. Softcover of Orig. Ed. 2004 edition] (2010)](https://imusic.b-cdn.net/images/item/original/596/9781441954596.jpg?fabrice-kordon-2010-formal-methods-for-embedded-distributed-systems-how-to-master-the-complexity-paperback-book&class=scaled&v=1570078027)
![Cover for Fabrice Kordon · Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings - Programming and Software Engineering (Paperback Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/234/9783642019234.jpg?fabrice-kordon-2009-reliable-software-technologies-ada-europe-2009-14th-ada-europe-international-conference-brest-france-june-8-12-2009-proceedings-programming-and-software-engineering-paperback-book&class=scaled&v=1603995115)
![Cover for Fabrice Kordon · Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/181/9783540774181.jpg?fabrice-kordon-2008-composition-of-embedded-systems-scientific-and-industrial-issues-13th-monterey-workshop-2006-paris-france-october-16-18-2006-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1572975698)
![Cover for Fabrice Kordon · Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/551/9783540711551.jpg?fabrice-kordon-2007-reliable-systems-on-unreliable-networked-platforms-12th-monterey-workshop-2005-laguna-beach-ca-usa-september-22-24-2005-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1441476152)
![Cover for Fabrice Kordon · Formal Methods for Embedded Distributed Systems: How to master the complexity (Hardcover Book) [2004 edition] (1991)](https://imusic.b-cdn.net/images/item/original/962/9781402079962.jpg?fabrice-kordon-1991-formal-methods-for-embedded-distributed-systems-how-to-master-the-complexity-hardcover-book&class=scaled&v=1508133605)