Катэгорыя·Фармальныя метады
 |
Фармальныя метады на Вікісховішчы |
|---|
У гэтай катэгорыі няма асноўнага артыкула — formal methods[d]
Тэмы гэтай старонкі (6):Катэгорыя·Мадэляванне дадзеных
Катэгорыя·Якасць праграмнага забеспячэння
Катэгорыя·Вікіпедыя·Катэгорыі з асноўным артыкулам з Вікідадзеных
Катэгорыя·Вікіпедыя·Старонкі з модулем Hatnote з гатовым фарматаваннем
Катэгорыя·Тэхналогіі арганізацыі праграмавання
Катэгорыя·Логіка
Cтаронкі па гэтай тэме(5):
Тэорыя мностваў
Маніфест гнуткай распрацоўкі
Сцвярджэнне (праграмаванне)
Машына Цьюрынга
Катэгорыя·Логіка выказванняў