Книга
110-а 9448

Formal Program Development Methods : a textbook / A. Y. Doroshenko [et al.]; Kyiv nat. Taras Shevchenko univ.. – Kyiv : Kyiv University, 2021. – 351 p. : fig., tab.
Бібліогр.: с. 297-311 (178 назв).
ISBN 978-966-933-180-9.



Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : програмне забезпечення : техніка програмування, програмотехніка : розробка комп’ютерної системи і програмного забезпечення
Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : програмне забезпечення : посібники для викладання, навчання, практичної підготовки - програмне забезпечення, програмування : підручники та навчальні посібники для університетів, ВНЗ - програмне забезпечення, програмування

1695991 ОФ