ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu
Author

Гедич Андрей Алексеевич

Work place: Университет ИТМО
Post: доцент
Degree: кандидат технических наук
E-mail: zykov_a_g@mail.ru
Гедич А. А., Anatoly Zykov, Arthur Lazdin, Vladimir I. Polyakov SEARCH FOR PROCEDURE WITH THE USE OF FUNCTIONAL PROGRAM TRANSITION GRAPH TO VERIFY COMPUTATIONAL PROCESSES
The article was published in issue4(57) за 2014