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