Система композиционно-номинативного программирования SCRIPT.NET von Процик, П.П.

Volltext

Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS von Безверха, М.А., Процик, П.П.

Volltext