Библиография

Фильтры: Ключевое слово - Валидация систем  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
В
Вельдер СЭ, Лукин МА, Шалыто АА, Яминов БР.  2011.  Верификация автоматных программ. Санкт-Петербургский национальный исследовательский университет ИТМО. 004.42 Abstract