Этапы последовательного доказательства корректности программного обеспечения микропроцессорных устройств автоматики и телемеханики

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