В этой книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужина-ми, в каждой из которых реш
Ваш регион: Россия, Москва
В этой книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужина-ми, в каждой из которых реш
Технические характеристики
ИздательствоДМК Пресс
Год выпуска2015
Тип обложкиМягкая обложка
Автор на обложкеБёрд Р.
ISBN978-5-97060-161-7
Тип книгиПечатная книга
Язык изданияРусский
Количество страниц330
Размеры, мм200Х140X17
Формат издания60x90/16
Тип изданияОтдельное издание
Вес с упаковкой, г392
Вес товара, г387