पुस्तकें — Frama-C

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

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

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

प्रोग्रामिंग भाषाएँ
RU
सॉफ्टवेयर परीक्षण और सत्यापन के मूल सिद्धांत

सॉफ्टवेयर परीक्षण और सत्यापन के मूल सिद्धांत

B

С. М. Старолетов

सॉफ्टवेयर विकास