Электронный каталог

Статья

Ivanov, I.
Implementation of the Composition-Nominative Approach to Program Formalization in Mizar / I.Ivanov, [et al.] // Computer Science Journal of Moldova. – 2018. – Vol.26, No.1. – p.59-76. – URL: http://www.math.md/files/csjm/v26-n1/v26-n1-(pp59-76).pdf. – Bibliogr.:21.



Спец.(статьи,препринты) = Ц 840 б - Математическое обеспечение ЭВМ. Операционные системы