Этапы последовательного доказательства корректности программного обеспечения микропроцессорных устройств автоматики и телемеханики
dc.contributor.author | Сивко, Б. В. | |
dc.date.accessioned | 2024-08-09T08:23:12Z | |
dc.date.available | 2024-08-09T08:23:12Z | |
dc.date.issued | 2013 | |
dc.identifier.other | УДК 004.312.466 | |
dc.identifier.uri | http://elib.bsut.by:8080/xmlui/handle/123456789/10434 | |
dc.language.iso | other | ru |
dc.publisher | БелГУТ | ru |
dc.subject | Микропроцессорные системы | ru |
dc.title | Этапы последовательного доказательства корректности программного обеспечения микропроцессорных устройств автоматики и телемеханики | ru |
dc.type | Article | ru |