Теоретическая информатика. Доказательство правильности учебное пособие
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом...
Sparad:
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Книга |
| Ämnen: | |
| Länkar: | Перейти к просмотру издания |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| Fysisk beskrivning: | Книга находится в премиум-версии IPR SMART. |
|---|---|
| ISBN: | 978-5-7782-2875-7 |