Марьясов, Илья Владимирович. Верификация С-программ с помощью смешанной аксиоматической семантики

catalog / TECHNICAL SCIENCES / Mathematical and software of computer systems, complexes and computer networks




  • скачать файл:
  • title:
  • Марьясов, Илья Владимирович. Верификация С-программ с помощью смешанной аксиоматической семантики
  • The number of pages:
  • 200
  • university:
  • Ин-т систем информатики им. А.П. Ершова СО РАН
  • The year of defence:
  • 2012
  • brief description:
  • Марьясов, Илья Владимирович. Верификация С-программ с помощью смешанной аксиоматической семантики : диссертация ... кандидата физико-математических наук : 05.13.11 / Марьясов Илья Владимирович; [Место защиты: Ин-т систем информатики им. А.П. Ершова СО РАН].- Новосибирск, 2012.- 110 с.: ил. РГБ ОД, 61 12-1/879
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




Доставка любой диссертации из России и Украины


THE LAST THESIS

Сравнительный анализ геномов бактерий видов Burkholderia pseudomallei и B. mallei методом вычитающей гибридизации Фушан, Алексей Анатольевич
Структурно-функциональная организация D-плазмид штаммов рода Raoultella Жарикова, Наталья Владимировна
Структурно-функциональный анализ промоторных областей гена oct-1 мыши Сытина, Елена Вячеславовна
Характеристика молекулярных механизмов, регулирующих экспрессию альфа-глобиновых генов кур Борунова, Виктория Владимировна
Характеристика первичной структуры дивергентной области максикольцевой кинетопластной ДНК низших трипаносоматид Leptomonas seymouri и Leptomonas collosoma Го Цян

THE LAST ARTICLES AND ABSTRACTS

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА