Q1049183
From Wikidata
Formal methods (Q1049183)
No description defined yet
No aliases defined.
Contents
Statements
Wikipedia pages linked to this item
| Language | Code | Linked page | |
|---|---|---|---|
| العربية | arwiki | أساليب رسمية | |
| Deutsch | dewiki | Formale Methode | |
| English | enwiki | Formal methods | |
| español | eswiki | Método formal | |
| فارسی | fawiki | روشهای صوری | |
| français | frwiki | Méthode formelle (informatique) | |
| Bahasa Indonesia | idwiki | Metoda formal | |
| 日本語 | jawiki | 形式手法 | |
| 한국어 | kowiki | 정형 기법 | |
| lietuvių | ltwiki | Formalūs metodai | |
| Bahasa Melayu | mswiki | Kaedah formal | |
| Nederlands | nlwiki | Formele methoden | |
| polski | plwiki | Metody formalne | |
| português | ptwiki | Métodos formais | |
| русский | ruwiki | Формальные методы | |
| українська | ukwiki | Формальні методи | |
| Tiếng Việt | viwiki | Các phương pháp hình thức | |
| 中文 | zhwiki | 形式化方法 | |
