Отображение
1 - 1
результаты of
1
для поиска '
"Model Checking"
'
Пропуск в контексте
Язык
English
Русский
123
Все поля
Заглавие
Автор
Предмет
Шифр
ISBN/ISSN
Найти
Расширенный поиск
Результаты поиска - "Model Checking"
Отображение
1 - 1
результаты of
1
для поиска '
"Model Checking"
'
, время запроса: 0.03сек.
Отмена результатов
Сортировка
Релевантность
Дата по убыванию
Дата по возрастанию
Шифр
Автор
Заглавие
1
Верификация моделей программ: Model Checking: Монография: Пер. с англ./
по
Кларк младший Эдмунд М.
,
Грамберг Орна
,
Пелед Дорон
Публикация 2002
Предметы:
“
...
Model
Checking
...
”
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Перейти в каталог Библиотеки ТУСУР
Книга
Инструменты поиска:
RSS-поток
Назад
Уточните свой поиск
Формат
Книга
1
[исключить]
Библиотека
Библиотека ТУСУР
1
[исключить]
Автор
Грамберг Орна
1
[исключить]
Захаров, В
1
[исключить]
Кларк младший Эдмунд М
1
[исключить]
Кончаков, Р
1
[исключить]
Пелед Дорон
1
[исключить]
Смелянский, Р
1
[исключить]
Царьков, Д
1
[исключить]
см. все ...
Дата издания
от:
по:
Загрузка...