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