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

2019 , VOLUME 19, NUMBER 6 ( november-december )

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.