Aaron Stump

Название: Verified Functional Programming in Agda

Автор: Aaron Stump

Серия: ACM Books

Жанр: Программы

Поробнее