Акименко, А. М.
(Чернігів : ЧНТУ, 2012)
Розглянуто проблеми, пов’язані з формуванням завдання на розробку коду програми після завершення стадій аналізу та проектування складної програмної системи. Запропоновано використання специфікацій сумісного типу для ...