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 Krzysztof R Apt · Logics and Models of Concurrent Systems - Nato ASI Subseries F: (Paperback Book) [Softcover reprint of the original 1st ed. 1985 edition] (2011)](https://imusic.b-cdn.net/images/item/original/555/9783642824555.jpg?krzysztof-r-apt-2011-logics-and-models-of-concurrent-systems-nato-asi-subseries-f-paperback-book&class=scaled&v=1546384149)
![Cover for Krzysztof R Apt · The Logic Programming Paradigm: A 25-Year Perspective - Artificial Intelligence (Paperback Book) [Softcover reprint of the original 1st ed. 1999 edition] (2011)](https://imusic.b-cdn.net/images/item/original/494/9783642642494.jpg?krzysztof-r-apt-2011-the-logic-programming-paradigm-a-25-year-perspective-artificial-intelligence-paperback-book&class=scaled&v=1546384149)
![Cover for Krzysztof R Apt · Programmverifikation: Sequentielle, Parallele Und Verteilte Programme - Springer-Lehrbuch (Hardcover Book) [1994 edition] (1994)](https://imusic.b-cdn.net/images/item/original/798/9783540574798.jpg?krzysztof-r-apt-1994-programmverifikation-sequentielle-parallele-und-verteilte-programme-springer-lehrbuch-hardcover-book&class=scaled&v=1542372183)