Категория:Языки формальных спецификаций

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Языки формальных спецификаций с поддержкой формальных методов.

Подкатегории

Эта категория содержит только следующую подкатегорию.

Страницы в категории «Языки формальных спецификаций»

Показаны 3 страницы из 3, находящихся в данной категории.