Введение в формальные методы верификации программ : учебное пособие / А. С. Камкин ; Московский государственный университет имени М. В. Ломоносова, Факультет вычислительной математики и кибернетики
Язык: русский ; резюме, английский.Выходные данные: Москва : МАКС Пресс, 2018Физическая характеристика: 268, [1] с. : ил., табл. ; 24 см.ISBN: 9785317057671 Примечания: Рез. англ..Библиография: Библиогр.: с. 263-269.Предметная рубрика - Тема: Программы(компьют.) -- Верификация -- Учебные издания | Формальные языки -- Учебные издания Другие классификации: ( rubbk ) З973.2-018я73-1 ; З973.2-018.1я7 ; З973.2-018-07я7 Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Рез. англ.
Библиогр.: с. 263-269