Aaron Stump. Скачать книги фантастика. MREADZ.NET

Aaron Stump

Список книг автора Aaron Stump

Verified Functional Programming in Agda

Скачать Verified Functional Programming in Agda - Aaron Stump

Название: Verified Functional Programming in Agda
Автор:: Aaron Stump
Серия:: ACM Books
Жанр:: Программы