Show simple item record

Доказательство правильности программ

dc.contributor.authorАндерсон Р.
dc.date.accessioned2016-03-24T14:47:29Z
dc.date.available2016-03-24T14:47:29Z
dc.date.issued1982
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://libarch.nmu.org.ua/handle/GenofondUA/79088
dc.description.abstractВ книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме.Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.
dc.language.isoRussian
dc.publisherМир
dc.subjectФизика
dc.subjectPhysics
dc.subject.ddc
dc.subject.lcc
dc.titleДоказательство правильности программ
dc.typeother
dc.identifier.aichMHMD6K6BT2TRSVSCLBO3IMY6ICOSYMAN
dc.identifier.crc32642045A8
dc.identifier.doi
dc.identifier.edonkey8F19235AA56DB24B3509993C4AEE4805
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid1231772
dc.identifier.md5eea81af9a9e9836cb524fd3182a0ad8b
dc.identifier.sha1QEGIN7GTHM2FT23IKSKOVS2ERSTVLOC5
dc.identifier.tthLJ72C5T3TBM5XOABTHDC5UKSCHG4IXHFHGIIREA


Files in this item

Thumbnail
Name:
eea81af9a9e9836cb524fd3182a0ad ...
Size:
3.444Mb
Format:
Unknown
View/Open

This item appears in the following Collection(s)

Show simple item record