Euclid الإنجليزية (Q5472090)
imperative programming language for writing verifiable programs الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | Euclid |
imperative programming language for writing verifiable programs |
|
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
inception الإنجليزية
designed by الإنجليزية
developer الإنجليزية
Freebase ID الإنجليزية