Категорія:Мови формальних специфікацій

Підкатегорії

Ця категорія має тільки таку підкатегорію.

Д

► Денотаційна семантика‎ (1 С)

Сторінки в категорії «Мови формальних специфікацій»

Показано 14 сторінок цієї категорії (із 14).

А

В

Віденський метод розробки

Д

Денотаційна семантика

М

Мережі Петрі

О

Операційна семантика

С

Семантика мов програмування

Ф

Формальна специфікація

B

B-метод

E

Eiffel

J

Java Modeling Language

O

OBJ (мова програмування)

T

TLA+

Z

Z-нотація

Отримано з https://uk.wikipedia.org/w/index.php?title=Категорія:Мови_формальних_специфікацій&oldid=27329150