Вы здесь

Разработка сертифицированного компилятора предикатных программ

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2019
Стр.: 
С.145-150
Библиография: 
Библиогр.: c.149
Место издания: 
Карточка: 

Шелехов В. И..

Разработка сертифицированного компилятора предикатных программ-Novosibirsk.// Наукоёмкое программное обеспечение (ПСИ 19), 2019.-С.145-150
Библиогр.: c.149