Верификация программ : учебно-методическое пособие / А. М. Миронов ; Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет
Тома: Показать записиЯзык: русский.Выходные данные: Москва : МАКС Пресс, 2017Физическая характеристика: 21 см.Предметная рубрика - Тема: Программы(компьют.) -- Верификация -- Учебно-методические пособия Другие классификации: З973.2-018-07я7 Тип экземпляра: КнигаНет реальных экземпляров для этой записи