Подробности: Что в имени тебе?..

Книга

Что в имени тебе?.. / Д.З. Карпачевский

Автор: Карпачевский, Давид Зиновьевич -- Автор Язык: русский.Выходные данные: Санкт-Петербург : Мозаика НК, 2012Физическая характеристика: 171 с. ; 20 см.Библиография: Библиогр.: с. 3.Другие классификации: Ш6(2=Р)8-51 Тип экземпляра: Книга

Экземпляры ( 0 )
Примечания ( 1 )

Нет реальных экземпляров для этой записи

Библиогр.: с. 3

Назад к результатам

1 Теория программирования
/ Академия наук СССР, Сибирское отделение, Вычислительный центр
2 Применение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL
/ В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов
3 Верификация раскрашенных сетей Петри методом проверки моделей
/ А. А. Стененко, В. А. Непомнящий
4 Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри
/ Н. В. Визовитин, В. А. Непомнящий
5 Анализ MSC-диаграмм распределенных систем с помощью раскрашенных сетей Петри
/ С. А. Черненок, В. А. Непомнящий

Закрыть

Печать
Добавить в вашу подборку (удалить)
Отправить на устройство
Сохранить запись
BibTeX MARCXML MODS (XML) RIS RUSMARC (Юникод/UTF-8, стандартный)
Больше поисковых запросов

Поиск данного заглавия в:
Other Databases (Google Scholar) Open Library (openlibrary.org)