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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=004.415.28(063)<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
004.4(063)/B10-847659

   
    B 2007: formal specification and development in B [Electronic resource] : 7th international conference of B users, Besancon, France, January 17-19, 2007 : proceedings / eds. J. Julliand, O. Kouchnarenko. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4355). - ISBN 978-3-540-68761-0 : Б. ц.

ГРНТИ
50.41
УДК
004.41(063)
004.415.28(063)
Рубрики: Программное обеспечение ЭВМ--Проектирование--Съезды и конференции
   Программы для ЭВМ--Спецификация--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Julliand, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
2.
004.415.28/F48-770148

   
    Recent trends in algebraic development techniques [Electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006: revised selected papers / ed. J. Fiadeiro. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4409). - ISBN 978-3-540-71998-4 : Б. ц.

ГРНТИ
50.05.13
УДК
004.415.28(063)
Рубрики: Программы для эвм--Спецификация--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Fiadeiro, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
3.
004.415.28(063)
R31

   
    Recent trends in algebraic development techniques [Electronic resource] : 17th International workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004: revised selected papers / ed. J. Fiadeiro [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3423). - ISBN 978-3-540-31959-7 : Б. ц.

ГРНТИ
50.05.13
УДК
004.415.28(063)
Рубрики: Программы для ЭВМ--Спецификация--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Fiadeiro, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
4.
004.415.28(063)
R31

   
    Recent trends in algebraic development techniques [Electronic resource] : 19th International workshop, WADT 2008, Pisa, Italy, June 13-16, 2008: rev. sel. papers / ed.: A. Corradini, U. Montanari. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5486). - ISBN 978-3-642-03429-9 : Б. ц.

ГРНТИ
50.05.13
УДК
004.415.28(063)

Кл.слова (ненормированные):
программы для эвм -- спецификация -- конференции

См. : Текст издания

Доп.точки доступа:
Corradini, A. \ed.\; Montanari, U. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
5.
004.415.28(063)/Z40-774408

   
    ZB 2005: formal specification and development in Z and B [Electronic resource] : 4th International conference of B and Z users, Guilford,UK, April 13-15, 2005: proceedings / ed. H. Treharne. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3455). - Б. ц.

ГРНТИ
50.41
УДК
004.41(063)
004.415.28(063)
Рубрики: Программное обеспечение ЭВМ--Проектирование--Съезды и конференции
   Программы для ЭВМ--Спецификация--Съезды и конференции

См. : Текст издания

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