Ричард Бёрд
Произведения автора 1
Только полные версии книг
РОМАНЫ и ПОВЕСТИ
электронная книга
Год написания книги 2013
В этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 кор…