English

Вход в систему

Расширенный поиск
Атрибутный поиск
Контакты
Информационно-библиотечный комплекс

English

Инструкция по поиску

Элемент 'верификатор NuSMV'

Фасет 'Тематика'

Количество документов: 1

© СПбПУ, 2000-2025

Сайт и управление доступом на базе АБИС «Руслан-Нео» (© ООО «ОБС»)

Политика конфиденциальности

Положение об использовании «cookie» файлов

Расширенный поиск
Атрибутный поиск
Контакты
Информационно-библиотечный комплекс

Последние поступления
Самые популярные ресурсы

🍪

Мы используем cookies и рекомендательные технологии для улучшения работы сайта. Продолжая использовать этот сайт, Вы соглашаетесь на использование файлов cookie.