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

Bibliografske podrobnosti
Glavni avtor:	Абрамов С. А. Сергей Александрович
Jezik:	ruščina
Izdano:	Москва, Наука, 1986
Serija:	Библиотечка программиста
Teme:	Численный анализ программы предикаты преобразования метод Хоора импликация функционалы погрешности анализ
Format:	Knjiga
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281038

MARC


LEADER	00000nam0a2200000 4500
001	281038
005	20231101235350.0
020			\|a RU \|b 86-63658
035			\|a (RuTPU)RU\TPU\book\304638
090			\|a 281038
100			\|a 20150116d1986 k y0rusy5003 ca
101	0		\|a rus
102			\|a RU
105			\|a y z 001zy
200	1		\|a Элементы анализа программ. Частичные функции на множестве состояний \|f С. А. Абрамов
210			\|a Москва \|c Наука \|d 1986
215			\|a 128 с.
225	1		\|a Библиотечка программиста
320			\|a Библиогр.: с. 127
606	1		\|a Численный анализ \|2 stltpush \|3 (RuTPU)RU\TPU\subj\18763 \|9 44135
610	1		\|a программы
610	1		\|a предикаты
610	1		\|a преобразования
610	1		\|a метод Хоора
610	1		\|a импликация
610	1		\|a функционалы
610	1		\|a погрешности
610	1		\|a анализ
675			\|a 519.6 \|v 3
700		1	\|a Абрамов \|b С. А. \|g Сергей Александрович
801		0	\|a RU \|b RuMRKP \|c 19950704 \|g psbo
801		1	\|a RU \|b 63413507 \|c 20150116
801		2	\|a RU \|b 63413507 \|c 20170314 \|g RCR
942			\|c BK