unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ
История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления

   Запрос: a001="BY-NLB-ar5261780"
   Записи: 1 - 7 из 7 (стр. 1 из 1)

Сортировать по: 
Дата Автор Заглавие
2015 Чистяков, Геннадий Андреевич Метод и машина логического вывода для формальной верификации параллельных алгоритмов : автореферат диссертации на соискание ученой степени кандидата технических наук : специальности 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, 05.13.15 Вычислительные машины, комплексы и компьютерные сети / Чистяков Геннадий Андреевич ; [Вятский государственный университет]
1997   Formal hardware verification : methods a. systems in comparison / Ed. T.Kropf
2014 Чистяков, Геннадий Андреевич Метод и машина логического вывода для формальной верификации параллельных алгоритмов : автореферат диссертации на соискание ученой степени кандидата технических наук : специальности 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, 05.13.15 Вычислительные машины, комплексы и компьютерные сети / Чистяков Геннадий Андреевич ; [Вятский государственный университет]
2012 Марьясов, Илья Владимирович Верификация C-программ с помощью смешанной аксиоматической семантики : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Марьясов Илья Владимирович ; [Институт систем информатики им. А. П. Ершова Сибирского отделения Российской академии наук]
2017 Ермаков, Антон Дмитриевич Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Ермаков Антон Дмитриевич ; [Томский государственный университет]
2015 Кривчиков, Максим Александрович (кандидат физико-математических наук) Формальные модели и верификации свойств программ с использованием промежуточного представления : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Кривчиков Максим Александрович ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова"
2011   Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers / Adenliso Simao, Carroll Morgan (eds.)
Записей на стр.