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
€ 72,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 13 - 27 de jul

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

Mere med samme udgiver

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