Автоматическая верификация и оптимизация потоков работ
Каленкова, Анна Алексеевна. Автоматическая верификация и оптимизация потоков работ : диссертация ... кандидата физико-математических наук : 05.13.11 / Каленкова Анна Алексеевна; [Место защиты: Вычисл. центр им. А.А. Дородницына РАН].- Москва, 2011.- 164 с.: ил. РГБ ОД, 61 12-1/320