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