Hoare logic الإنجليزية (Q1093632)
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | Hoare logic |
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs |
|
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
named after الإنجليزية
GND ID الإنجليزية
Freebase ID الإنجليزية
Microsoft Academic ID الإنجليزية
وصلات الموقع
Marefa(٠ : لا وصلات)
ويكيبيديا(٤ وصلات)
- dewiki Hoare-Kalkül
- enwiki Hoare logic
- eswiki Lógica de Hoare
- frwiki Logique de Hoare