Дубрановский, Игорь В. - Верификация C#-программ: перевод из языка C#-light в язык C#-kernel = C#-program verification: translation from C#-light into C#-kernel : C#-program verification: translation from C#-light into C#-kernel / И. В. Дубрановский. - Новосибирск : Ин-т систем информатики, 2004. - 60 с.; 21 см. - (Препринт/ Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 120).

Карточка

Экспресс-заказ фрагмента

Дубрановский, Игорь В.
Верификация C#-программ: перевод из языка C#-light в язык C#-kernel = C#-program verification: translation from C#-light into C#-kernel : C#-program verification: translation from C#-light into C#-kernel / И. В. Дубрановский. - Новосибирск : Ин-т систем информатики, 2004. - 60 с.; 21 см. - (Препринт/ Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 120).

Программы(компьют.) - Верификация
C , язык программирования
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Верификация
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования
объектно-ориентированный язык программирования C#-light - объектно-ориентированный язык программирования C#-kernel
Шифр хранения:

FB 3 05-38/229

Заказать в читальный зал Заказать копию фрагмента

Marc21

Скачать marc21-запись

Показать

Описание

Автор	Дубрановский, Игорь В.
Заглавие	Верификация C#-программ: перевод из языка C#-light в язык C#-kernel = C#-program verification: translation from C#-light into C#-kernel : C#-program verification: translation from C#-light into C#-kernel
Коллекции ЭК РГБ	Каталог документов с 1831 по настоящее время
Дата поступления в ЭК РГБ	05.09.2005
Каталоги	Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственности	И. В. Дубрановский
Выходные данные	Новосибирск : Ин-т систем информатики, 2004
Физическое описание	60 с.; 21 см
Серия	(Препринт/ Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 120)
Тема	Программы(компьют.) - Верификация
	C , язык программирования
	Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Верификация
	Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования
Термины-указатели	объектно-ориентированный язык программирования C#-light - объектно-ориентированный язык программирования C#-kernel
BBK-код	З973.2-018-5-05,0
	З973.2-018.1,0
Язык	Русский
Места хранения	FB 3 05-38/229

LDR	02023cam#a2200313#i#4500
001	002724908
005	20051125113946.0
008	050905s2004####ru#####f\|\|\|\|\|#\|\|\|#\|\|rus#d
017	## $a 05-43596 $b RuMoRKP
020	## $c 60
035	## $a (LIBNET)RU\NLR\bibl\836453
040	## $a NLR $b rus $c NLR $e rcr $d RuMoRGB
041	0# $a rus $b eng
084	## $a З973.2-018-5-05,0 $2 rubbk
084	## $a З973.2-018.1,0 $2 rubbk
100	1# $a Дубрановский, Игорь В.
245	00 $a Верификация C#-программ: перевод из языка C#-light в язык C#-kernel = $b C#-program verification: translation from C#-light into C#-kernel $c И. В. Дубрановский
246	21 $a C#-program verification: translation from C#-light into C#-kernel
260	## $a Новосибирск $b Ин-т систем информатики $c 2004
300	## $a 60 с. $c 21 см
490	0# $a Препринт/ Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова $v 120
504	## $a Библиогр.: с. 59-60 (8 назв.)
546	## $a Парал. тит. л. англ.
650	#7 $a Программы(компьют.) $2 nlr_sh $x Верификация
650	#7 $a C , язык программирования $2 nlr_sh
650	#7 $a Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Верификация $2 rubbk
650	#7 $a Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования $2 rubbk
653	## $a объектно-ориентированный язык программирования C#-light $a объектно-ориентированный язык программирования C#-kernel
852	## $a РГБ $b FB $j 3 05-38/229 $x 90