Functional Data Structures and Algorithms: A Proof Assistant Approach - Tobias Nipkow - Livros - Association of Computing Machinery,U.S. - 9798400731594 - 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
€ 53,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 5 - 19 de jun

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

Também disponível como:

Discover data structures and algorithm design in functional programming through rigorous, machine-checked Isabelle proofs. Topics span sorting, searching, priority queues, dynamic programming, splay trees, graph and string algorithms, Huffman coding, and alpha-beta game tree pruning techniques.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 30 de setembro de 2025
ISBN13 9798400731594
Editoras Association of Computing Machinery,U.S.
Páginas 418
Dimensões 150 × 220 × 10 mm   ·   712 g

Mais por Tobias Nipkow

Mostrar tudo

Mere med samme udgiver

Ver tudo de Tobias Nipkow ( por exemplo Paperback Book e Hardcover Book )