TY  - GEN
AU  - Колісник
AU  - Бодик
TI  - Synthesis theory in action: deductive derivation of algorithms for application software
KW  - Комп’ютерні системи та мережі
KW  - Комп"ютерне програмування
KW  - theory of synthesis
KW  - method of synthesis
KW  - deductive reasoning
KW  - algorithm synthesis
KW  - теорія синтезу
KW  - метод синтезу
KW  - дедуктивне мислення
KW  - синтез алгоритму
KW  - 004.9
N2  - Бібліогр. в кінці ст
UR  - http://repository.mu.edu.ua/jspui/handle/123456789/6014
ER  -