Показати скорочений опис матеріалу
Доказательство правильности программ
dc.contributor.author | Андерсон Р. | |
dc.date.accessioned | 2016-03-24T14:47:29Z | |
dc.date.available | 2016-03-24T14:47:29Z | |
dc.date.issued | 1982 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/79088 | |
dc.description.abstract | В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме.Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование. | |
dc.language.iso | Russian | |
dc.publisher | Мир | |
dc.subject | Физика | |
dc.subject | Physics | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Доказательство правильности программ | |
dc.type | other | |
dc.identifier.aich | MHMD6K6BT2TRSVSCLBO3IMY6ICOSYMAN | |
dc.identifier.crc32 | 642045A8 | |
dc.identifier.doi | ||
dc.identifier.edonkey | 8F19235AA56DB24B3509993C4AEE4805 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 1231772 | |
dc.identifier.md5 | eea81af9a9e9836cb524fd3182a0ad8b | |
dc.identifier.sha1 | QEGIN7GTHM2FT23IKSKOVS2ERSTVLOC5 | |
dc.identifier.tth | LJ72C5T3TBM5XOABTHDC5UKSCHG4IXHFHGIIREA |
Долучені файли
Даний матеріал зустрічається у наступних фондах
-
Libgen [81666]