Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Шошмина, Ирина Владимировна |
загрузить
в подборку |
Заглавие | Метод разработки формальных контекстных требований для верификации программных систем логического управления : автореферат дис. ... кандидата технических наук : 05.13.11 | |
Выходные данные | Санкт-Петербург 2015 | |
Физическое описание | 18 с. | |
Тема | Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей | |
Тема | Техника. Технические науки -- Энергетика. Радиоэлектроника -- Радиоэлектроника -- Вычислительная техника -- Электронные вычислительные машины и устройства -- Электронные вычислительные машины и устройства дискретного действия (цифровые электронные вычислительные машины) -- Вычислительные системы и сети -- Проектирование вычислительных систем и сетей. Архитектура -- Автоматизация проектирования | |
Ключевые слова |
верификация программных систем |
|
Ключевые слова |
системы логического управления |
|
Хранение | 9 15-5/34; | |
Электронный адрес |
Электронный ресурс |