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

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

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

Сортировать по:

Дата	Автор	Заглавие
2008	Васильев, Павел Константинович	Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Васильев Павел Константинович ; Санкт-Петербургский государственный университет
1995	Бухвалова, Вера Вацлавовна	DROL-язык спецификации для задач вычислительной геометрии : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.11 / С.-Петерб. гос. ун-т
1999	Коган, Борис Исаакович (доктор технических наук ; род. 1947)	Оценка качества и исследование программных продуктов: языково-ориентированный подход. Язык спецификации требований к качеству программных средств: формальное определение / Б.И.Коган, Т.О.Матвеева
1997	Коган, Борис Исаакович (доктор технических наук ; род. 1947)	Оценка качества и исследование программных продуктов: языково-ориентированный подход. Формальное специфицирование требований к качеству программных средств / Б.И.Коган, Т.О.Матвеева ; Рос. акад. наук, Дальневост. отд-ние, Ин-т автоматики и процессов упр
1991	Бакулин, Александр Владимирович (информатика)	Математическая модель языка спецификации и проектирования программ
2010	Томилов, Иван Николаевич (кандидат технических наук)	Синтаксически ориентированные и графические средства описания и анализа моделей гибридных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Томилов Иван Николаевич ; [Государственное образовательное учреждение высшего профессионального образования "Новосибирский государственный технический университет"]
2011		Верификация автоматных программ / С. Э. Вельдер [и др.] ; Министерство образования и науки Российской Федерации, Санкт-Петербургский государственный университет информационных технологий, механики и оптики
1991	Бакулин, Александр Владимирович (информатика)	Математическая модель языка спецификации и проектирования программ / А. В. Бакулин

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