Новые методы конструирования программ, межвузовский сборник научных трудов

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	Новосибирский государственный университет (НГУ)
Άλλοι συγγραφείς:	Ершов А. П. (340)
Γλώσσα:	Ρωσικά
Έκδοση:	Новосибирск, Изд-во Новосибирского ун-та, 1986
Θέματα:	конструирование эффективность семантические модели преобразования конкретизация оптимизация разработка
Μορφή:	Βιβλίο
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=269017

MARC


LEADER	00000nam0a2200000 4500
001	269017
005	20231031224332.0
035			\|a (RuTPU)RU\TPU\book\292173
090			\|a 269017
100			\|a 20140912d1986 k y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a y z 001zy
200	1		\|a Новые методы конструирования программ \|e межвузовский сборник научных трудов \|f Новосибирский государственный университет (НГУ) ; под ред. А. П. Ершова
210			\|a Новосибирск \|c Изд-во Новосибирского ун-та \|d 1986
215			\|a 136 с.
320			\|a Библиогр. в конце ст.
606	1		\|a Программы \|2 stltpush \|3 (RuTPU)RU\TPU\subj\68995
610	1		\|a конструирование
610	1		\|a эффективность
610	1		\|a семантические модели
610	1		\|a преобразования
610	1		\|a конкретизация
610	1		\|a оптимизация
610	1		\|a разработка
675			\|a 681.3.06 \|v 3
702		1	\|a Ершов \|b А. П. \|4 340
712	0	2	\|a Новосибирский государственный университет (НГУ) \|2 stltpush \|3 (RuTPU)RU\TPU\col\721
801		1	\|a RU \|b 63413507 \|c 20140912
801		2	\|a RU \|b 63413507 \|c 20160209 \|g RCR
942			\|c BK