पुस्तकें — verification

RU
मेटाकम्प्यूटेशन विधियाँ और उनका अनुप्रयोग

मेटाकम्प्यूटेशन विधियाँ और उनका अनुप्रयोग

A

С. М. Абрамов

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

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

B

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

सॉफ्टवेयर विकास
RU
समानांतर प्रक्रियाओं का मॉडलिंग। पेट्री नेट्स

समानांतर प्रक्रियाओं का मॉडलिंग। पेट्री नेट्स

A

Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В.

एल्गोरिदम और सिद्धांत
EN
हास्केल के साथ एल्गोरिदम डिज़ाइन

हास्केल के साथ एल्गोरिदम डिज़ाइन

A

Richard Bird, Jeremy Gibbons

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