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

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=004.415.28(063)<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
B 2007: formal specification and development in B/eds. J. Julliand, O. Kouchnarenko. - 2006
2.
Recent trends in algebraic development techniques/ed. J. Fiadeiro. - 2007
3.
Recent trends in algebraic development techniques/ed. J. Fiadeiro [et al.]. - 2005
4.
Recent trends in algebraic development techniques/ed.: A. Corradini, U. Montanari. - 2009
5.
ZB 2005: formal specification and development in Z and B/ed. H. Treharne. - 2005
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)