coq. معنى
- مختصر يُغْلَى [صيدلة]
- coq.s.a. مختصر يُغْلَى جَيّ ...
- a. le coq arena أ. لي كوك أرينا
- bernard le coq برنار لي كوك
أمثلة
- In 2007, Sylvain Conchon and Jean-Christophe Filliâtre developed a persistent version of the disjoint-set forest data structure, allowing previous versions of the structure to be efficiently retained, and formalized its correctness using the proof assistant Coq.
في عام 2007 قام سلفيان كونكون و و جين كريستوف فليتر طور نسخة متكررة من هيكلة المجموعة المنفصلة بحيث يسمح للهيكل السابق بالحفاظ على كفائته بستخدام اثبات مساعد كوك