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