1 results
Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
Вход
Русский
Белорусский
Английский
Deutsch
Español
Français
中文(繁體)
polski
Язык
Электронный каталог Национальной библиотеки Беларуси находится в тестовом режиме
Перейти в электронную библиотеку
Все поля записи
Заглавие
Автор/Создатель
Предмет
ISBN/ISSN/...
Найти
Расширенный поиск
page_reload_on_deselect_hint
Сбросить фильтры
applied_filters
Предмет:
Remove filter
MODEL CHECKING МЕТОД
page_reload_on_deselect_hint
Сбросить фильтры
show_filters_html
Предмет:
Remove filter
MODEL CHECKING МЕТОД
Результаты поиска
Отображение
1
-
1
из
1
для поиска:
''
, время запроса: 0.04сек.
Результаты на странице
20
50
100
Сортировка
Релевантность
Дата (по убыванию)
Дата (по возрастанию)
Автор
Заглавие
Выбрать все | снять выделение:
Выбранные записи:
Email
Экспорт
Печать списка
Сохранить в личный каталог
result_checkbox_label
1
Model checking: верификация параллельных и распределенных программных систем: [для студентов вузов, программистов и исследователей в области информатики] / Ю. Г. Карпов. - Санкт-Петербург : БХВ-Петербург, 2010. - VII, 551 с. + 1 компакт-диск
Автор
Карпов, Ю. Г.
Книги
Добавить в Избранное
Сохранено в:
Выбрать все | снять выделение:
Выбранные записи:
Email
Экспорт
Печать списка
Сохранить в личный каталог
Инструменты поиска:
RSS-поток
–
Отправить результаты поиска по Email
–
Сохранить запрос
Назад
Уточнение результатов поиска
page_reload_on_select_hint
Белорусский национальный документ
Вид документа
Книги
1 results
1
Автор/Создатель
Карпов, Ю. Г.
1 results
1
Предмет
MODEL CHECKING МЕТОД
АЛГОРИТМИЗАЦИЯ
1 results
1
ВЕРИФИКАЦИЯ
1 results
1
ПАРАЛЛЕЛЬНЫЕ ПРОГРАММНЫЕ СИСТЕМЫ
1 results
1
ПРОГРАММНЫЕ СИСТЕМЫ
1 results
1
РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ
1 results
1
РЕАЛЬНОГО ВРЕМЕНИ СИСТЕМЫ
1 results
1
см. все
Место публикации
Санкт-Петербург
1 results
1
Язык
Русский
1 results
1
Дата издания
от:
по: