Aaron Stump
Список книг автора Aaron Stump
Verified Functional Programming in Agda - Aaron Stump
Название: Verified Functional Programming in Agda
Автор: Aaron Stump
Издательство: Ingram
Жанр: Программы
Серия: ACM Books