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

Статья

Arusoaie, A.
Program Logics and Their Applications / A.Arusoaie, [et al.] // Revue Roumaine de Mathematiques Pures et Appliquees = Romanian Journal of Pure and Applied Mathematics. – 2017. – Vol.62, No.1. – p.137-154. – URL: http://imar.ro/journals/Revue_Mathematique/pdfs/2017/1/7.pdf. – Bibliogr.:20.



Спец.(статьи,препринты) = Ц 840 - Программирование. Общие вопросы