← Вернуться

Моделирование памяти Cu-программ для инструментов статической верификации на основе SMT-решателей. автореферат дис. ... кандидата физико-математических наук : 05.13.11

О произведении

Автор:
Ответственность:
Мандрыкин Михаил Усамович; Место защиты: Ин-т систем. программирования
Место издания:
Москва
Год издания:
Количество страниц:
23 с.
ББК:
З973.233-018.2,0
Библиотека:
Российская государственная библиотека (РГБ)

Похожие