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

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

Сортировать по: 
Дата Автор Заглавие
2017 Татарников, Андрей Дмитриевич Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Татарников Андрей Дмитриевич ; [Институт системного программирования им. В. П. Иванникова Российской академии наук]
2008 Васильев, Павел Константинович Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Васильев Павел Константинович ; Санкт-Петербургский государственный университет
2000 Шалфеева, Елена Арефьевна (доктор технических наук) Разработка и исследование методов и средств формального специфицирования моделей и метрик программ : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.11 / Шалфеева Елена Арефьевна ; [Ин-т автоматики и процессов упр. (ИАПУ) ДВО РАН]
2010 Томилов, Иван Николаевич (кандидат технических наук) Синтаксически ориентированные и графические средства описания и анализа моделей гибридных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Томилов Иван Николаевич ; [Государственное образовательное учреждение высшего профессионального образования "Новосибирский государственный технический университет"]
2012 Чупилко, Михаил Михайлович Динамическая верификация цифровой аппаратуры на основе формальных спецификаций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Чупилко Михаил Михайлович ; Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук
2016 Бессонов, Алексей Владимирович Символьная спецификация и анализ программных моделей гибридных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Бессонов Алексей Владимирович ; [Новосибирский государственный технический университет]
2004 Budnikas, Germanas Development and analysis of aggregate specifications using knowledge bases = Agregatinių specifikacijų sudarymas ir analizė panaudojant žinių bazes : summary of doctoral dissertation physical sciences, informatics (09P) / Germanas Budnikas ; Kaunas University of Technology
Записей на стр.