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

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

सी
Frama-C software verification C static analysis formal methods ACSL deductive verification
लेखक
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)
प्रकाशक
Springer
वर्ष
2024
भाषा
अंग्रेज़ी
83
इस पुस्तक को रेट करें

पुस्तक पढ़ने के लिए, लॉग इन करें / पंजीकरण करें

अंश का पूर्वावलोकन

समान पुस्तकें

पिवोटल सर्टिफाइड प्रोफेशनल कोर स्प्रिंग 5 डेवलपर परीक्षा: स्प्रिंग फ्रेमवर्क 5 का उपयोग करते हुए एक अध्ययन गाइड। दूसरा संस्करण।

पिवोटल सर्टिफाइड प्रोफेशनल कोर स्प्रिंग 5 डेवलपर परीक्षा: स्प्रिंग फ्रेमवर्क 5 का उपयोग करते हुए एक अध्ययन गाइड। दूसरा संस्करण।

Iuliana Cosmina

C के साथ कंपाइलर निर्माण: कुशल इंटरप्रेटर और कंपाइलर बनाना

C के साथ कंपाइलर निर्माण: कुशल इंटरप्रेटर और कंपाइलर बनाना

Theophilus Edet

C++ कोर दिशानिर्देश समझाया गया: आधुनिक C++ के लिए सर्वोत्तम प्रथाएं

C++ कोर दिशानिर्देश समझाया गया: आधुनिक C++ के लिए सर्वोत्तम प्रथाएं

Rainer Grimm

आधुनिक सॉफ़्टवेयर परीक्षण तकनीकें: डेवलपर्स और टेस्टर्स के लिए एक व्यावहारिक मार्गदर्शिका

आधुनिक सॉफ़्टवेयर परीक्षण तकनीकें: डेवलपर्स और टेस्टर्स के लिए एक व्यावहारिक मार्गदर्शिका

István Forgács, Attila Kovács

सॉफ्टवेयर प्रोजेक्ट प्रबंधन गाइड

सॉफ्टवेयर प्रोजेक्ट प्रबंधन गाइड

Gerard O’Regan

प्रभावी सी, दूसरा संस्करण: पेशेवर सी प्रोग्रामिंग का परिचय

प्रभावी सी, दूसरा संस्करण: पेशेवर सी प्रोग्रामिंग का परिचय

Robert C. Seacord

सॉफ्टवेयर परीक्षण की कला, तीसरा संस्करण

सॉफ्टवेयर परीक्षण की कला, तीसरा संस्करण

Glenford J. Myers, Tom Badgett, Corey Sandler

Pro Spring 6 with Kotlin: स्प्रिंग फ्रेमवर्क 6 में Kotlin APIs का उपयोग करने के लिए एक गहन मार्गदर्शिका

Pro Spring 6 with Kotlin: स्प्रिंग फ्रेमवर्क 6 में Kotlin APIs का उपयोग करने के लिए एक गहन मार्गदर्शिका

Peter Späth, Iuliana Cosmina, Rob Harrop, Chris Schaefer

सॉफ्टवेयर आवश्यकताएँ, तीसरा संस्करण

सॉफ्टवेयर आवश्यकताएँ, तीसरा संस्करण

Karl Wiegers, Joy Beatty

क्लीन आर्किटेक्चर: सॉफ्टवेयर संरचना और डिजाइन की एक शिल्पकार की मार्गदर्शिका

क्लीन आर्किटेक्चर: सॉफ्टवेयर संरचना और डिजाइन की एक शिल्पकार की मार्गदर्शिका

Robert C. Martin