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

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

Головна сторінка

Загальні проекти

«Зовнішні» проекти

Міжнародна співпраця

Тематичні проекти

Наукові проекти

Країнознавство

Українознавство

Географія

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

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

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

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

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

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

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

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

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

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

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

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

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