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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=инструментарий<.>)
Общее количество найденных документов : 1
1.
Шифр: V4585 ()
Formal Aspects of Computing [Электронный ресурс]. - Berlin : springer, 1989 - . - Выходит раз в два месяца. - ISSN 0934-5043

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