Learn more
Home
University today
University structure
Master's Programs
Short-term programs
Additional links
News
Events
Applications
Back
Language
Russian
English
Open
Books
Articles
By Authors
Vadim Gurov
In articles
In books
In conferences
In pdf-articles
In articles
In articles
In books
In conferences
In pdf-articles
Search in authors
Not search in authors
For example,
Бобцов
Articles
By Authors
Vadim Gurov
Vadim Gurov
Article
VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH UNIMOD.VERIFIER TOOL
Vadim Gurov, Bulat Jaminov
Article
TEXTUAL LANGUAGE FOR AUTOMATA-BASED PROGRAMMING
Vadim Gurov, Maxim Mazin, Shalyto Anatoly A.
Сортировать
By dates
By authors
CONTENT © ITMO UNIVERSITY 1993-2025