पुस्तकें — software verification

EN
Ada का परिचय

Ada का परिचय

A

Raphaël Amiard, Gustavo A. Hoffmann

प्रोग्रामिंग भाषाएँ
RU
एडा प्रोग्रामिंग भाषा का परिचय

एडा प्रोग्रामिंग भाषा का परिचय

A

Raphaël Amiard, Gustavo A. Hoffmann

प्रोग्रामिंग भाषाएँ
EN
कंप्यूटर विज्ञान के लिए तर्क और भाषा मॉडल

कंप्यूटर विज्ञान के लिए तर्क और भाषा मॉडल

A

Dana Richards, Henry Hamburger

एल्गोरिदम और सिद्धांत