|
Книга ID: 992433
Алгоритмы частичной верификации программы на ЯСП и их оценки К. Н. Ефимкин, И. Б. Задыхайло, С. П. Пименов, А. А. Шарипбаев
Тематика, ключевые слова:
Цифровые вычислительные машины - Программы - Генерация.
Сведения об издании:
М. ИПМ 1983 31 с. 20 см
Язык:
rus
|
|