Главная страница

Базы данных


Российский сводный каталог по научно-технической литературе - результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=МCRL@<.>)
Общее количество найденных документов : 1
1.
Groote J.F.
Completeness of timed мCRL
Reniers M.A., Wamel J.J.van . - Amsterdam. - 2000. - 29 p.: ill. -(Report:Software engineering
Centrum voor wiskunde en informatica(Amsterdam);ISSN 1386-369X; SEN-R0034). - На англ.яз. - Нидерланды
ГРНТИ: 50.05.09
УДК: 004.432.4
Предметные рубрики: Программирования языки декларативные

Держатели документа:
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)