LDR 00852naa#a2200205#i#450#
001     EN\\bibl\89174
005     20241116011627.6
011 ## _a2219-0767
100 ## _a20241023b2024####ek#y0engy0150####ca
102 ## _aRU
200 1# _aFormalization of topology and electrical circuit verification for computer-aided design systems
       _eJournal article
210 1# _aVoronezh
       _cFSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov
       _d2024
215 ## _a9 с.
608 ## _aJournal article
       _2local
675 ## _aНосители вводимых и выводимых данных. Запоминающие среды. 004.08
       _z
700 #1 _aSkvortsova
       _gTatyana Vladimirovna
700 #1 _aZolnikov
       _gKonstantin Vladimirovich
700 #1 _aPlotnikov
       _gAleksey Mihaylovich
700 #1 _aScorkin
       _gI V
856 4# _anaukaru.ru
       _u