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 Kevin Lano · The B Language and Method: a Guide to Practical Formal Development - Formal Approaches to Computing & Information Technology (Facit) (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/337/9783540760337.jpg?kevin-lano-1996-the-b-language-and-method-a-guide-to-practical-formal-development-formal-approaches-to-computing-information-technology-facit-paperback-book&class=scaled&v=1482141750)
![Cover for Kevin Lano · Formal Object-Oriented Development - Formal Approaches to Computing and Information Technology (FACIT) (Paperback Book) [Softcover reprint of the original 1st ed. 1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/786/9783540199786.jpg?kevin-lano-1995-formal-object-oriented-development-formal-approaches-to-computing-and-information-technology-facit-paperback-book&class=scaled&v=1544988331)