Категория : Терминология формальных методов
Терминология, связанная с формальными методами , математической отраслью разработки программного обеспечения .
Страницы в категории «Терминология формальных методов»
Следующие 8 страниц относятся к этой категории из 8. Этот список может не отражать недавние изменения .