Каталог печатных изданий библиотеки НИУ ВШЭ

eng|rus

Пожалуйста, бронируйте контрольные экземпляры только тех книг, которых нет
в наличии ни в читальных залах, ни в открытом доступе, ни на научном абонементе.
По вопросам доступа к электронному каталогу обращайтесь в
отдел информационных систем и электронных ресурсов Библиотеки

Поиск :

Личный кабинет :

Электронный каталог: Девянин, П. Н. - Сравнение способов декомпозиции спецификаций Event-B

Девянин, П. Н. - Сравнение способов декомпозиции спецификаций Event-B

Статья
Автор: Девянин, П. Н.
Программирование: Сравнение способов декомпозиции спецификаций Event-B
б.г.
ISBN отсутствует

На полку

Статья

Девянин, П. Н.
Сравнение способов декомпозиции спецификаций Event-B / П. Н. Девянин, В. В. Кулямин, А. К. Петренко, и др. // Программирование. – 2016. – N.4. – C.17-26.

общий = Информатика и вычислительная техника = computer science and technology : программное обеспечение (программные средства) = software [ 004.4 ]
общий = Труды сотрудников НИУ ВШЭ : Кулямин В. В.
общий = Труды сотрудников НИУ ВШЭ : Петренко А. К.