Публикация №1653(БАЛЛЫ 5)
Название публикации | COMPOSITIONAL SPECIFICATION CALCULUS FOR INFORMATION SYSTEMS DEVELOPMENT |
---|---|
Название на другом языке | |
Тип публикации | Статья |
Издание | Lecture Notes in Computer Science |
Издатель | Не задан |
ISBN | Не задан |
DOI | Не задан |
Год издания | 1999 |
Том | 1691 |
Номер | Не задан |
Глава | Не задан |
Страницы | 0317 |
Аннотация | Не задан |
Авторы | |
ссылка в Internet | |
РИНЦ | 8 |
WoS | 6 |
Баллы | 5 |
Цитируемые публикации авторов ФИЦ ИУ РАН |