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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=ZB@<.>)
Общее количество найденных документов : 1
1.
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)
Свободных экз. нет
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)