Перейти до вмісту
Головне меню
Головне меню
перемістити на бічну панель
сховати
Навігація
Головна сторінка
Поточні події
Нові редагування
Нові сторінки
Випадкова стаття
Участь
Портал спільноти
Кнайпа
Довідка
Сторінка для медіа
Пошук
Знайти
Зовнішній вигляд
Пожертвувати
Створити обліковий запис
Увійти
Особисті інструменти
Пожертвувати
Створити обліковий запис
Увійти
Сторінки для редакторів, які не ввійшли в систему
дізнатися більше
Внесок
Обговорення
Категорія
:
Мови формальних специфікацій
4 мови
English
فارسی
日本語
Русский
Редагувати посилання
Категорія
Обговорення
українська
Читати
Редагувати
Редагувати код
Переглянути історію
Інструменти
Інструменти
перемістити на бічну панель
сховати
Дії
Читати
Редагувати
Редагувати код
Переглянути історію
Загальний
Посилання сюди
Пов'язані редагування
Спеціальні сторінки
Постійне посилання
Інформація про сторінку
Отримати вкорочену URL-адресу
Завантажити QR-код
Друк/експорт
Створити книгу
Завантажити як PDF
Версія до друку
В інших проєктах
Вікісховище
Елемент Вікіданих
Зовнішній вигляд
перемістити на бічну панель
сховати
Довідка
Матеріал з Вікіпедії — вільної енциклопедії.
Підкатегорії
Ця категорія має тільки таку підкатегорію.
Д
Денотаційна семантика
(1 С)
Сторінки в категорії «Мови формальних специфікацій»
Показано 15 сторінок цієї категорії (із 15).
А
Аксіоматична семантика
Алгебраїчна семантика
В
Віденський метод розробки
Д
Денотаційна семантика
М
Мережі Петрі
О
Операційна семантика
С
Семантика (інформатика)
Ф
Формальна специфікація
B
B-метод
E
Eiffel
J
Java Modeling Language
O
OBJ (мова програмування)
S
SPARK (мова програмування)
T
TLA+
Z
Z-нотація
Категорії
:
Математичне моделювання
Мови специфікацій
