Вікіпедія:Проект:Формальні методи

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Wikipedia-logo-v2.svg
Вікіпроекти
 
Category Категорія

На меті цього проекту стоїть координація зусиль в створенні інформативного покриття формальних методів.

Завдання[ред. код]

Додатково[ред. код]

Нотації та методи[ред. код]

Джерела інформації[ред. код]

Терміни[ред. код]

Джерела інформації[ред. код]

Корисні посилання[ред. код]

Скорочення
ВП:ПВП

Внутрішні[ред. код]

Учасники[ред. код]

Для того, щоб взяти участь у проекті, просто впишіть сюди на сторінку посилання про себе.

Дружні проекти[ред. код]