- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Семантическая отладка программ методом поиска конкретных ошибок
Тип роботи:
Кандидатская
Рік:
1984
Артикул:
323798 179 грн
Рекомендовані дисертації
- Систолические системы для задач матричных модификаций
- Пакет прикладных программ для автоматизации решения двух- и трехмерных задач нестационарной фильтрации
- Автоматическая реализация семантики проблемно-ориентированных языков
- Алгебраические методы исследования задач информационного поиска
- Исследование интерактивного управления выполнением программ
- Специальный комплекс программ для решения и исследования задач линейной алгебры в генераторе программ Поле-3
- Исследование методов оптимизации программ м разработка оптимизирующего компилятора с языка паскаль для центрального процессора АС-6
- Синтез параллельных программ на вычислительных моделях с массивами
- Система трехуровневой управляемой виртуальной памяти УВП-3
- Верификация алголо-подобных программ методом индуктивных высказываний