पुस्तकें — deductive verification

EN
Frama-C के साथ सॉफ्टवेयर सत्यापन की मार्गदर्शिका: मुख्य घटक, उपयोग और अनुप्रयोग

Frama-C के साथ सॉफ्टवेयर सत्यापन की मार्गदर्शिका: मुख्य घटक, उपयोग और अनुप्रयोग

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

प्रोग्रामिंग भाषाएँ
RU
प्रोग्राम की शुद्धता का प्रमाण

प्रोग्राम की शुद्धता का प्रमाण

A

К. Рустан М. Лейно

एल्गोरिदम और सिद्धांत