Anfonwch hwn fel neges destun: Вып. 9: Формальные методы и модели информатики; Системная информатика