Верификация C-программ с помощью смешанной аксиоматической семантики : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
2430
Купить
Краткое содержание:
Экранизация книги

Верификация C-программ с помощью смешанной аксиоматической семантики : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

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

Купить

Реферат по теме Верификация C-программ с помощью смешанной аксиоматической семантики : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Верификация C-программ с помощью смешанной аксиоматической семантики : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
Опросы
Она написана в прозе?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Верификация C-программ с помощью смешанной аксиоматической семантики : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Рецензии и отзывы
Прикрепить файл
Похожие книги
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.