Category:Formal methods

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
formal methods 
Wikipedia-logo-v2.svg  Wikipedia
Subclass of method
Based on
Authority control
Wikidata
Blue pencil.svg
metodo formale (it); méthode formelle (fr); Формальные методы (ru); Kaedah formal (ms); Metoda formal (id); Formale Methode (de); métodos formais (pt); أساليب رسمية (ar); روش‌های صوری (fa); 形式化方法 (zh); Formalūs metodai (lt); Biçimsel yöntemler (tr); 形式手法 (ja); método formal (es); Формальні методи (uk); Formella metoder (sv); Metody formalne (pl); מתודות פורמליות (he); formele methoden (nl); 形式化方法 (zh-hant); 形式化方法 (zh-hk); Các phương pháp hình thức (vi); 정형 기법 (ko); formal methods (en); formala metodo (eo); 形式化方法 (zh-hans); Формалне методе (sr) Métodos formales, Metodo formal, Metodos formales (es); 形式的手法, フォーマルメソッド (ja); méthodes formelles, methode formelle (fr); formele methode (nl); Formale Methoden (de); 형식수법, 형식 수법, 정형기법 (ko); روش های صوری, توابع رسمی, توابع صوری, روش های رسمی (fa); 形式方法 (zh); Método formal (pt)

Subcategories

This category has the following 7 subcategories, out of 7 total.

P

T

Media in category "Formal methods"

The following 12 files are in this category, out of 12 total.