Functional Data Structures and Algorithms: A Proof Assistant Approach - Tobias Nipkow - Livros - Association of Computing Machinery,U.S. - 9798400731570 - 30 de setembro de 2025
Caso a capa e o título não sejam correspondentes, considere o título como correto

Tobias Nipkow
Functional Data Structures and Algorithms: A Proof Assistant Approach

Preço
R$ 415,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 28 de out - 9 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Tobias Nipkow

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

Discover data structures and algorithms for functional programming with rigorously verified proofs using Isabelle. Covering sorting, priority queues, dynamic programming, advanced heap structures, and graph algorithms, it unifies program correctness with runtime analysis through inductively proven methods for both learners and practitioners.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 30 de setembro de 2025
ISBN13 9798400731570
Editoras Association of Computing Machinery,U.S.
Páginas 418
Dimensões 150 × 220 × 20 mm   ·   929 g

Mais por Tobias Nipkow

Mostrar tudo

Mais da mesma editora

Ver tudo de Tobias Nipkow