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

Матеріал з Вікіпедії — вільної енциклопедії.

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

Зміст

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

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

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

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

В якості джерел інформації, судячи із усього, доведеться використовувати англомовні статті. Однак, деякі із них перебувають не в кращому стані, тому, доведеться, також, використовувати підручники та наявні джерела інформації.

Category:Formal methods слід використовувати як приклад, можливий варіант для української категорії.

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

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

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

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