Элементы анализа программ Частичные функции на множестве состояний

Bibliographic Details
Main Author: Абрамов, Сергей Александрович математик
Format: Book
Language:Russian
Published: Москва Наука, Физматлит 1986
Series:Библиотечка программиста
Subjects:
Online Access:Перейти в каталог НБ ТГУ
LEADER 01846nam a2200325 4500
001 vtls000083695
003 RU-ToGU
005 20220610080817.0
008 120826s1986 ru f b 000 0 rus|d
035 |a 0086-90460 
035 |a (RU-ToGU)ru86-063658 
039 9 |a 201403051329  |b 21  |c 201208261931  |d VLOAD  |c 200809171032  |d cat03  |c 200809171032  |d cat03  |y 200511061659  |z Александр Эльверович Гилязов 
040 |a RU-ToGU  |b rus  |c RU-ToGU  |d RU-ToGU  |e PSBO 
080 |a 519.681 
084 |a 50.05  |2 rugasnti 
084 |a 22.18  |2 rubbk 
100 1 |a Абрамов, Сергей Александрович  |c математик  |9 114679 
245 1 0 |a Элементы анализа программ  |b Частичные функции на множестве состояний  |c С. А. Абрамов 
260 |a Москва  |b Наука, Физматлит  |c 1986  |9 687889 
300 |a 127, [1] с. 
490 1 |a Библиотечка программиста 
504 |a Библиогр.: с. 127 
650 7 |a Вычислительные машины электронные - Программы - Анализ.  |2 rurkp  |9 178177 
830 0 |a Библиотечка программиста  |9 108932 
852 4 |a RU-ToGU  |h 519.6  |i А161  |n ru 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=84264 
999 |c 84264  |d 84264 
952 |0 0  |1 0  |4 0  |6 1609032К  |7 0  |9 179621  |a RU-ToGU  |b RU-ToGU  |c 10024  |d 2021-04-03  |l 0  |o 1-609032к  |p 13820000990357  |r 2021-04-03  |w 2021-04-03  |y 1 
952 |0 0  |1 0  |4 0  |6 1623163  |7 0  |9 179622  |a RU-ToGU  |b RU-ToGU  |c 10024  |d 2021-04-03  |g 0.45  |l 0  |o 1-623163  |p 13820000605968  |r 2021-04-03  |w 2021-04-03  |y 4 
952 |0 0  |1 0  |4 0  |6 51_А161  |7 0  |9 179624  |a RU-ToGU  |b RU-ToGU  |c 10023  |d 2021-04-03  |g 0.45  |l 0  |o 51 А161  |p 13820000272114  |r 2021-04-03  |t 2  |w 2021-04-03  |y 5