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 | |