Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Мордань, Виталий Олегович |
загрузить
в подборку |
Заглавие | Методы верификации программ на основе композиции задач достижимости : диссертация ... кандидата физико-математических наук : 05.13.11 | |
Выходные данные | Москва 2017 | |
Физическое описание | 205 с. ил. | |
Тема | Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей | |
Хранение | 61 17-1/502; | |
Электронный адрес |
Электронный ресурс |