ПрограммыЭлектронные книги жанра Программы
Verified Functional Programming in Agda
Aaron Stump
- Название
- Verified Functional Programming in Agda
- Автор:
- Aaron Stump
- Серия:
- ACM Books
- Жанр:
- Программы
Contextual Design
Hugh Beyer
- Название
- Contextual Design
- Автор:
- Hugh Beyer
- Серия:
- Synthesis Lectures on Human-Centered Informatics
- Жанр:
- Программы