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

Lançamentos por Tobias Nipkow

Em estoque na iMusic Mostrar itens não disponíveis

Cover for Tobias Nipkow · Functional Data Structures and Algorithms: A Proof Assistant Approach (Hardcover Book) (2025)

Functional Data Structures and A... (2025)

Cover for Tobias Nipkow · Functional Data Structures and Algorithms: A Proof Assistant Approach (Paperback Book) (2025)

Functional Data Structures and A... (2025)

Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)

Softcover reprint of the original 1st ed. 2014 edition

Concrete Semantics: With Isabell... (2016)

Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Hardcover Book) [2014 edition] (2014)

Concrete Semantics: With Isabell... (2014)

Cover for Tobias Nipkow · Isabelle / HOL: A Proof Assistant for Higher-Order Logic - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Isabelle / HOL: A Proof Assistan... (2002)

Cover for Tobias Nipkow · Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1998)

Rewriting Techniques and Applica... (1998)

Cover for Tobias Nipkow · Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993, Selected Papers - Lecture Notes in Computer Science (Paperback Book) (1994)

Types for Proofs and Programs: I... (1994)