Профиль » Публикация

Поделиться публикацией:
Опубликовать в блог:
Опубликовано на SciPeople2010-05-24 15:31:34


Верификация автоматных программ в контексте синхронного программирования
Кубасов Сергей Валерьевич
Кубасов С.В. Верификация автоматных программ в контексте синхронного программирования : автореф. дис. ... канд. техн. наук : 05.13.11. - M, 2008.
Аннотация
Ключевые слова публикации:
   
 http://is.ifmo.ru/disser/kubasov_autoref.pdf
Показать статистику
Похожие публикации

Комментарии

Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален