Mykola Nikolaj Nikitchenko - Нікітченко Микола Степанович - Никитченко Николай Степанович

Mykola Nikolaj Nikitchenko - Нікітченко Микола Степанович - Никитченко Николай Степанович

National Taras Shevchenko University of Kyiv - Kyiv / Ukraine
Others
AD Scientific Index ID: 1208956
Київський національний університет імені Тараса Шевченка
person_outline Mykola Nikolaj Nikitchenko - Нікітченко Микола Степанович - Никитченко Николай Степанович's MOST POPULAR ARTICLES
1-) A composition nominative approach to program semanticsNS Nikitchenko811998
2-) Математична логіка та теорія алгоритмівМС Нікітченко, СС ШкільнякК.: ВПЦ Київський університет, 2008622008
3-) Extending Floyd-Hoare logic for partial pre-and postconditionsA Kryvolap, M Nikitchenko, W SchreinerInformation and Communication Technologies in Education, Research, and …, 2013532013
4-) Insertion modeling in distributed system designAA Letichevsky, JV Kapitonova, AA Letichevsky Jr, VP Kotlyarov, ...Інститут програмних систем НАН України, 2008532008
5-) Applied logicM Nikitchenko, S ShkilniakКyiv: VPC Кyivskyi Universytet (in ukr), 2013472013