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