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

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

एल्गोरिदम
formal verification Dafny program correctness Hoare logic Floyd logic deductive verification software engineering
लेखक
К. Рустан М. Лейно
प्रकाशक
ДМК Пресс
वर्ष
2024
भाषा
रूसी
45
इस पुस्तक को रेट करें

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

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

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

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

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

Кати Фислер, Шрирам Кришнамурти, Бенджамин С. Лернер, Джо Гиббс Политц

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

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

Дэвид Бизли

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

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

Марко Фаэлла

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

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

Маттиас Фелляйзен, Роберт Брюс Финдлер, Мэтью Флэтт, Шрирам Кришнамурти

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

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

Дэвид Мерц, Л. Клаймен

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

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

Брайан Керниган, Деннис Ритчи

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

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

Алексей Сошин

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

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

В. Д. Валединский, А. А. Корнев

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

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

Кольцов Д. М.

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

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

Стивен Халим, Феликс Халим