dc.contributor.author | Абрамов С.А. | |
dc.date.accessioned | 2016-02-22T17:44:04Z | |
dc.date.available | 2016-02-22T17:44:04Z | |
dc.date.issued | 1986 | |
dc.identifier.isbn | | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/61185 | |
dc.description.abstract | В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги — дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Анализ | |
dc.subject | Mathematics\\Analysis | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Элементы анализа программ. Частичные функции на множестве состояний | |
dc.type | other | |
dc.identifier.aich | Y4LFZWJO7I3O4C5SA2JRWDTTSHDCGVFS | |
dc.identifier.crc32 | C7E91EA6 | |
dc.identifier.doi | | |
dc.identifier.edonkey | D2B58A1F0C39EA0A37B0D19BDA7B2129 | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 1261604 | |
dc.identifier.md5 | 9c628425882b93e64ca185780325ffe3 | |
dc.identifier.sha1 | YPS3XG22PP2AV6DVAUSCDCLYROIOGMGH | |
dc.identifier.tth | PL5AEGMHC25DJS2SXEJCCHVU5VSCVRAM3M52RNA | |