Preview

Вестник СибГУТИ

Расширенный поиск
Полноэкранный режим

Для цитирования:


Шелехов В.И. Проектирование сертифицированного компилятора предикатных программ. Вестник СибГУТИ. 2019;(3):89-95.

For citation:


Shelekhov V. Certified compiler design of predicate programs. The Herald of the Siberian State University of Telecommunications and Informatics. 2019;(3):89-95. (In Russ.)

Просмотров: 4


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1998-6920 (Print)