Вступ до методів творення програмних продуктів
Бумажная книга | Код товара 372282
Автор
Сергей Кривой
Издательство
Букрек
Язык
Украинский
Год издания
2012
Количество страниц
424 стр.
Формат
60x90/16 (~145х220 мм)
Переплет
Твердый
Тираж
300

Все о книге Вступ до методів творення програмних продуктів

От издателя:

У посібнику розглянуті основні методи створення алгоритмів і програм. Зокрема, описані методи «поділяй і владарюй», динамічного програмування, жадібного вибору на основі теорії матроїдів, структурного проектування та програмування і змішаних обчислень, оцінки складності алгоритмів і програм як послідовних, так і паралельних, а також основні абстрактні типи даних та методи їх реалізації. Наведена велика кількість прикладів. Представлені формальні логічні мови (модальна логіка та динамічна програмна логіка) для виконання верифікації програм та алгоритмів, а також елементи потокового аналізу програм з простими змінними. Навчальний посібник призначений для студентів старших курсів вищих навчальних закладів та аспірантів, які спеціалізуються за напрямом «Комп’ютерні науки».

Характеристики
Автор
Сергей Кривой
Издательство
Букрек
Язык
Украинский
Год издания
2012
Количество страниц
424 стр.
Формат
60x90/16 (~145х220 мм)
Переплет
Твердый
Тираж
300
Купить - Вступ до методів творення програмних продуктів
Вступ до методів творення програмних продуктів
72 грн
Нет в наличии
 
Характеристики Вступ до методів творення програмних продуктів
Автор
Сергей Кривой
Издательство
Букрек
Язык
Украинский
Год издания
2012
Количество страниц
424 стр.
Формат
60x90/16 (~145х220 мм)
Переплет
Твердый
Тираж
300
ISBN
978-966-399-449-9
Вес
550 гр.
Тип
Бумажная