0
0
2430
Верификация C-программ с помощью смешанной аксиоматической семантики : автореф. дис. на соиск. учен. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
Автор:
Марьясов Илья Владимирович
Год:
2012
Язык:
Русский
Страниц:
18
Коллекции:
Авторефераты
Описание:
Марьясов И. В. Верификация C-программ с помощью смешанной аксиоматической семантики : автореф. дис. на соиск. учен. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей> / Марьясов Илья Владимирович; [Ин-т систем информатики им. А. П. Ершова СО РАН]. - Новосибирск, 2012. - 18 с. ; 21 см. - Библиогр.: с. 15-17 (11 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Рубрики:
–
Примечания:
Библиогр.: с. 15-17 (11 назв.)
ББК:
22.19
Скачать:
Просмотр и скачивание в формате PDF
Дата создания:
2021-05-12 08:02:40
Соц. сети:
Важно
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге
