Functional Data Structures and Algorithms: A Proof Assistant Approach - Tobias Nipkow - Libros - Association of Computing Machinery,U.S. - 9798400731570 - 30 de septiembre de 2025
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 77,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 9 - 26 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible 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.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de septiembre de 2025
ISBN13 9798400731570
Editores Association of Computing Machinery,U.S.
Páginas 418
Dimensiones 150 × 220 × 20 mm   ·   929 g

Mas por Tobias Nipkow

Mostrar todo

Ver todo de Tobias Nipkow ( Ej. Paperback Book y Hardcover Book )