Interested Article - Языки формальных спецификаций

0
0

2020-12-05
1

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

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

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

И

Исчисление процессов ‎ (4: 4 с.)

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

Показаны 4 страницы из 4, находящихся в данной категории. Список ниже может не отражать последних изменений.

E

Eiffel

S

0
0

2020-12-05
1

Same as Языки формальных спецификаций

Языки спецификаций

Теория формальных языков

Estelle (язык спецификаций)

Язык спецификаций