Author Vadim Gurov Journal Scientific and Technical Of Information Technologies, Mechanics and Optics

2019 , VOLUME 19, NUMBER 2 ( MARCH–APRIL )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Menu

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

Gurov Vadim

Work place: ITMO University
Post: ассистент

Gurov V., Jaminov B. VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH UNIMOD.VERIFIER TOOL
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

Gurov V., Mazin M., Shalyto A. A. ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
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

Gurov V., Mazin M., Shalyto A. A. UNIMOD – инструментальное средство для автоматного программировани
The article was published in issue №7, volume 06, 2006

Copyright 2001-2019 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.