Генерация и доказательство условий корректности предикатных программ = Generation and proof of correctness conditions for predicate programs / М. С. Чушкин, В. И. Шелехов
Параллельное заглавие: : z11790Generation and proof of correctness conditions for predicate programs, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Институт систем информатики им. А.П. Ершова СО РАН, 2012Физическая характеристика: 50 с. : ил. ; 21 см.Серия: Препринт ; 166Примечания: Авт. также на англ. яз.: M.S. Chushkin, V.I. Shelekhov; Рез. на англ. яз..Библиография: Библиогр.: с. 39-40 (17 назв.).Предметная рубрика - Тема: Предикатное программирование(компьют.) | Программы(компьют.) -- Верификация Другие классификации: З973.2-018.2 Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Авт. также на англ. яз.: M.S. Chushkin, V.I. Shelekhov
Рез. на англ. яз.
Библиогр.: с. 39-40 (17 назв.)