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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>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
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4355
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-68761-0: Б.ц.
ГРНТИ : 50.41
УДК : 004.41(063) + 004.415.28(063)
Предметные рубрики: Программное обеспечение ЭВМ-- Проектирование-- Съезды и конференции
Программы для ЭВМ-- Спецификация-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4409
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-71998-4: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.415.28(063)
Предметные рубрики: Программы для эвм-- Спецификация-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3423
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31959-7: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.415.28(063)
Предметные рубрики: Программы для ЭВМ-- Спецификация-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5486
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-03429-9: Б.ц.
ГРНТИ : 50.05.13
УДК : 004.415.28(063)
Ключевые слова (''Своб.индексиров.''): программы для эвм--спецификация--конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3455
Вид и объем ресурса: Electronic text data
Цена : Б.ц.
ГРНТИ : 50.41
УДК : 004.41(063) + 004.415.28(063)
Предметные рубрики: Программное обеспечение ЭВМ-- Проектирование-- Съезды и конференции
Программы для ЭВМ-- Спецификация-- Съезды и конференции
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)