|
Книга ID: 6864
Верификация асинхронных параллельных систем на основе L-программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11; 05.13.16 Ростов. гос. ун-т
Тематика, ключевые слова:
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей.
Сведения об издании:
Ростов-на-Дону 1995 25 с.
Язык:
rus
|
|