Functional Data Structures and Algorithms
A Proof Assistant Approach
Edición de la obra Functional Data Structures and Algorithms
| Autor | Tobias Nipkow |
|---|---|
| Editorial | Association for Computing Machinery |
| Fecha de publicación | 2025 |
| Idioma | inglés |
| ISBN-13 | 9798400731563 |
| Número de Cutter | N719f |