Vadim . Gurov

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. UNIMOD – инструментальное средство для автоматного программировани
The article was published in issue №7, volume 06, 2006
Copyright 2001-2018 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика