000 01400cam0 22003731ib4500
001 BY-HR0000-br414715
005 20211216132726.0
010 ^d45к.
100 ^a20120213d1986 z y0rusy50 ca
101 0 ^arus
102 ^aRU
105 ^aa z 000yy
109 ^aca
200 1 ^aЭлементы анализа программ
^eчастич. функции на множестве состояний
^fАбрамов,Сергей Александрович.
210 ^aМ.
^cНаука
^d1986
215 ^a127с.
225 0 ^aБиблиотечка программиста
320 ^aБиблиогр.: с.127 (127 назв.)
345 ^921000 экз.
686 ^a22.183.4
^v2
^2rubbk
686 ^a27.47.21
^v4
^2rugasnti
610 0 ^aМАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
610 0 ^aВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ
610 0 ^aПРОГРАММЫ
610 0 ^aМАТЭМАТЫЧНАЕ ПРАГРАМIРАВАННЕ
610 0 ^aВЫЛIЧАЛЬНЫЯ МАШЫНЫ
610 0 ^aПРАГРАМЫ
700 1 ^aАбрамов
^bС. А.
^gСергей Александрович
801 0 ^aBY
^bBY-HR0000
^c20120213
^gpsbo
801 1 ^aBY
^bBY-HR0000
^c20170521
^gpsbo
690 ^a1
^2Base
^9BY-HR0000
^xRSEK
899 ^aBY-HR0000
^h22.183.4
^iА 16