Suscríbete ahora
Audiolibros
eBooks
Audio series
Categorías
Iniciar sesión
Audiolibros
eBooks
Audio series
Categorías
Iniciar sesión
Suscríbete ahora
Inicio
Autores
Tobias Nipkow
Formato
Libros de Tobias Nipkow
Functional Data Structures and Algorithms: A Proof Assistant Approach
Tobias Nipkow
Series relacionadas
ACM Books
ACM Books
