Найти:

Бонч-Бруевич Андрей Михайлович Bonch-Bruevich Andrey Mihaylovich

Автор

библиотеки z3, формальная проверка, smt решатель, межсетевой экран, дистанционное банковское обслуживание, кредитно-финансовая организация

0000079298

ORCID

0000-0002-4453-2979

Scopus Author ID

57998399600

Заходил

показать

Подробнее

Библиотека

Конференции

Контакты

Работы Бонч-Бруевича А. М.: новые поступления

РАЗРАБОТКА МЕТОДА ФОРМАЛЬНОЙ ПРОВЕРКИ ПР…

Постов пока нет

Скоро владелец страницы опубликует здесь свои посты.