
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков Справка

Базовый поиск	Расширенный поиск	Cловари	ГРНТИ	Новые поступления	Профессионалам Поиск Экспорт данных/ Z39.50 Belmarc Методические решения

Запрос: 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.)

Служба технической поддержки:
+375 17 293 29 78
skk@nlb.by
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024
© Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси