Категория:Языки формальных спецификаций
Перейти к навигации
Перейти к поиску
Языки формальных спецификаций с поддержкой формальных методов.
Подкатегории
Эта категория содержит только следующую подкатегорию.
И
- Исчисление процессов (4: 4 с.)
Страницы в категории «Языки формальных спецификаций»
Показаны 4 страницы из 4, находящихся в данной категории. Список ниже может не отражать последних изменений.