أساليب رسمية (Q1265477)
mathematical program specification intended to allow correctness proofs, including algorithmically الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | أساليب رسمية |
لا يوجد وصف |
|
| الإنجليزية | formal methods |
mathematical program specification intended to allow correctness proofs, including algorithmically |
بيانات
Wikidata item الإنجليزية
topic's main category الإنجليزية
Freebase ID الإنجليزية
Commons category الإنجليزية
subclass of الإنجليزية
based on الإنجليزية
Microsoft Academic ID الإنجليزية
وصلات الموقع
Marefa(١ وصلة واحدة)
- marefa Formal methods
ويكيبيديا(٦ وصلات)
- dewiki Formale Methode
- enwiki Formal methods
- eswiki Método formal
- fawiki روشهای صوری
- frwiki Méthode formelle (informatique)
- trwiki Biçimsel yöntemler