Главная Документация WEB ИРБИС 8.1 Шлюз Z39.50

Базы данных


Электронный Каталог ГПНТБ - результаты поиска

Вид поиска

Формат представления найденных документов:
полныйинформационныйкраткий
Общее количество найденных документов : 1
1. R/17937/SEN-R0209

Usenko, Y. S.
Linearization of uCRL specifications [Text] / Y.S.Usenko. - Amsterdam : [s. n.], 2002. - 62 p. : ill. - (Report:Software engineering / CWI ; SEN-R0209). - 20.00 р.
Библиогр.:с. 37-38
ГРНТИ
УДК
Рубрики: Программы для ЭВМ--Спецификация

Доп.точки доступа:
Centrum voor wiskunde en informatica (Amsterdam)
Экз-ры: ХР(1)

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)