Жемчужины проектирования алгоритмов
В этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. ...
Информация Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.