इसे छोड़कर सामग्री पर बढ़ने के लिए

Теоретическая информатика. Доказательство правильности учеб. пособие

В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов до- казательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образ...

पूर्ण विवरण

में बचाया:
ग्रंथसूची विवरण
मुख्य लेखक: Веретельникова Е. Л.
स्वरूप: Книга
भाषा:Russian
प्रकाशित: Новосибирск НГТУ 2016
ऑनलाइन पहुंच:https://e.lanbook.com/book/118249
https://e.lanbook.com/img/cover/book/118249.jpg
टैग : टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!