ПРОБЛЕМЫ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРИ ПРОЕКТИРОВАНИИ СБИС : доклад, тезисы доклада | Научно-инновационный портал СФУ

ПРОБЛЕМЫ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРИ ПРОЕКТИРОВАНИИ СБИС : доклад, тезисы доклада

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: ТЕОРИЯ И ПРАКТИКА НАУКИ ТРЕТЬЕГО ТЫСЯЧЕЛЕТИЯ; Уфа; Уфа

Год издания: 2014

Ссылки на полный текст

Издание

Журнал: ТЕОРИЯ И ПРАКТИКА НАУКИ ТРЕТЬЕГО ТЫСЯЧЕЛЕТИЯ

Номера страниц: 171-174

Издатель: Башкирский государственный университет

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Версия для слабовидящих

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.