Menu
Publications
Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.
Partners
Vadim . Gurov
Work place: ITMO University
Post: ассистент
Post: ассистент
Gurov V. ., Jaminov B. . VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH UNIMOD.VERIFIER TOOL
The article was published in issue №8, volume 08, 2008
The article was published in issue №8, volume 08, 2008
Gurov V. ., Mazin M. ., Shalyto A. A. TEXTUAL LANGUAGE FOR AUTOMATA-BASED PROGRAMMING
The article was published in issue №8, volume 08, 2008
The article was published in issue №8, volume 08, 2008
Gurov V. ., Mazin M. ., Shalyto A. A. ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
The article was published in issue №8, volume 07, 2007
The article was published in issue №8, volume 07, 2007
Gurov V. ., Mazin M. ., Shalyto A. A., Нарвский А. С. Разработка средств автоматизации построения объектно-ориентированных программ с явным выделением состоянии
The article was published in issue №5, volume 04, 2004
The article was published in issue №5, volume 04, 2004
Gurov V. ., Mazin M. ., Shalyto A. A. UNIMOD – инструментальное средство
для автоматного программировани
The article was published in issue №7, volume 06, 2006
The article was published in issue №7, volume 06, 2006