أساليب رسمية (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
ويكيبيديا(١ وصلة واحدة)
- enwiki Formal methods