पुस्तकें — ACSL

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

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

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

प्रोग्रामिंग भाषाएँ