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

С. Л. Кривий. Вступ до методів створення програмних продуктів. Видавничий дім «Букрек», 2012, - 424 с.