Поисковый запрос: (<.>KL=верификация<.>) |
Общее количество найденных документов : 15
Показаны документы с 1 по 15 |
1.
| Кларк Э. М. Верификация моделей программ: Model Checking/Э. М. Кларк, О. Грамберг, Д. Пелед ; пер. с англ. В. Захарова, Р. Кончакова, Д. Царькова под ред. Р. Смелянского. - 2002
|
2.
| Ломазова И. А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой/И. А. Ломазова. - 2004
|
3.
| Рассел Б. Исследование значения и истины/Б. Рассел ; . - 1999
|
4.
| Липаев В. В. Методы обеспечения качества крупномасштабных программных средств/В. В. Липаев ; . - 2003
|
5.
| Гецци К. Основы инженерии программного обеспечения/К. Гецци, М. Джазайери, Д. Мандриоли. - 2005
|
6.
| Николаева И. Ю. Проблема методологического синтеза и верификации в истории в свете современных концепций бессознательного/И. Ю. Николаева ; под ред. Б. Г. Могильницкого. - 2005
|
7.
| Синицын С. В. Программирование на языке высокого уровня/С. В. Синицын, А. С. Михайлов, О. И. Хлытчиев. - 2010
|
8.
| Системная информатика. Вып. 7:Проблемы теории и методологии создания параллельных и распределенных систем. - 2000
|
9.
| Системная информатика. Вып. 9:Формальные методы и модели информатики. - 2004
|
10.
| Соколов А. П. Системы программирования: теория, методы, алгоритмы/А. П. Соколов. - 2004
|
11.
| Аверина Т. А. Статистическое моделирование решений стохастических дифференциальных уравнений и систем со случайной структурой/Т. А. Аверина. - 2019
|
12.
| Кузьмин Е. В. Структурированные системы переходов/Е. В. Кузьмин, В. А. Соколов. - 2006
|
13.
| Беляев Е. И. Философский анализ. Теоретические аспекты/Е. И. Беляев. - 2000
|
14.
| Башкин В. А. Численное моделирование динамики вязкого совершенного газа/В. А. Башкин, И. В. Егоров. - 2012
|
15.
| Гладилин А. В. Эконометрика/А. В. Гладилин, А. Н. Герасимов, Е. И. Громов. - 2008
|
|
|
Электронный каталог
Стандартный (по одному полю)