Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
1 418 ₽ 1 688 ₽
С другими банками
Краткие характеристики
- Автор на обложке
- Boro Sitnikovski
- Тип бумаги в книге
- Пухлая
- Тип обложки
- Мягкая обложка
- Тип книги
- Печатная книга
- Язык издания
- Английский
Решебник по Математике 8 Класс
Стивен Хокинг Книги
Государь Макиавелли
Огюст Конт
Книги По Физике
Книга Никола Тесла
Аристотель Книги
Эрих Фромм
Книги Фридрих Ницше
Данилевский Россия и Европа
Эгоистичный Ген
Лао-Цзы
Аристотель Метафизика
Сократ Книга
Джон Локк
Александр Дугин Книги
Добра Зла Роберт Сапольски
Иметь Или Быть
Книги по экологии
Стоицизм Книга
Книга Число Пи
Campbell Биология
Платон Диалоги
Александр Зиновьев Книги
Антихрист Ницше
Станислав Дробышевский
Зорич Математический Анализ
Книги Иммануил Кант
Дэвид Юм
Стивен Хокинг Теория Всего
Герберт Спенсер
Стивен Хокинг Краткая История Времени
Книга Государство Платон
Плотин Эннеады
Лосев Алексей Федорович