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

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

एल्गोरिदम
formal verification Dafny program correctness Hoare logic Floyd logic deductive verification software engineering
लेखक
के. रुस्तन एम. लेइनो
प्रकाशक
DMK प्रेस
वर्ष
2024
भाषा
रूसी
192
इस पुस्तक को रेट करें

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

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

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

प्रोग्रामिंग और डेटा संरचनाओं का परिचय

प्रोग्रामिंग और डेटा संरचनाओं का परिचय

कैटी फिस्लर, श्रीराम कृष्णमूर्ति, बेंजामिन एस. लर्नर, जो गिब्स पोलिट्ज़

Python. संपूर्ण मार्गदर्शिका

Python. संपूर्ण मार्गदर्शिका

डेविड बीज़ली

स्टाइलिश जावा। कोड जो हमेशा और हर जगह काम करता है

स्टाइलिश जावा। कोड जो हमेशा और हर जगह काम करता है

मार्को फाएल्ला

प्रोग्राम कैसे डिजाइन करें। प्रोग्रामिंग और कंप्यूटर गणना का परिचय

प्रोग्राम कैसे डिजाइन करें। प्रोग्रामिंग और कंप्यूटर गणना का परिचय

मट्टियास फेलाइज़ेन, रॉबर्ट ब्रूस फिंडलर, मैथ्यू फ्लैट, श्रीराम कृष्णमूर्ति

Python पर कार्यात्मक प्रोग्रामिंग। Stack Overflow समुदाय के उदाहरणों के साथ विकास गाइड

Python पर कार्यात्मक प्रोग्रामिंग। Stack Overflow समुदाय के उदाहरणों के साथ विकास गाइड

डेविड मेर्ट्ज़, एल. क्लाइमेन

सी प्रोग्रामिंग भाषा

सी प्रोग्रामिंग भाषा

ब्रायन कर्निघन, डेनिस रिची

Kotlin. डिज़ाइन पैटर्न और सर्वोत्तम प्रथाएँ, तीसरा संस्करण।

Kotlin. डिज़ाइन पैटर्न और सर्वोत्तम प्रथाएँ, तीसरा संस्करण।

एलेक्सी सोशिन

C/C++ में समस्याओं और उदाहरणों में प्रोग्रामिंग विधियाँ

C/C++ में समस्याओं और उदाहरणों में प्रोग्रामिंग विधियाँ

वी. डी. वेलेडिंस्की, ए. ए. कोर्नेव

Python. पूर्ण मार्गदर्शिका

Python. पूर्ण मार्गदर्शिका

कोल्ट्सोव डी. एम.

स्पोर्ट्स प्रोग्रामिंग। प्रोग्रामिंग प्रतियोगिताओं की नई निचली सीमा

स्पोर्ट्स प्रोग्रामिंग। प्रोग्रामिंग प्रतियोगिताओं की नई निचली सीमा

स्टीफन हलीम, फेलिक्स हलीम