Program analysis probably counts /

Guardado en:

Detalles Bibliográficos
Autor principal:	Pierro, Alessandra Di.
Otros Autores:	Hankin, Chris., Wiklicky, Herbert.
Formato:	Artículo
Lenguaje:	English
Materias:	Abstract interpretation Program analysis Semantics
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt


LEADER	00847nam a2200289 4500
001	DLU110129921
005	##20111223
040	#	#	\|a DLU \|b eng
041	#	#	\|a eng
044	#	#	\|a uk
100	#	#	\|a Pierro, Alessandra Di.
245	#	#	\|a Program analysis probably counts / \|c Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky.
653	#	#	\|a Abstract interpretation
653	#	#	\|a Program analysis
653	#	#	\|a Semantics
700	#	#	\|a Hankin, Chris.
700	#	#	\|a Wiklicky, Herbert.
773	#	#	\|t The Computer Journal \|g Vol. 53, no. 6 (July 2010), p. 871-880
920	#	#	\|a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt
994	#	#	\|a DLU
900	#	#	\|a True
911	#	#	\|a Trương Bảo Trâm Anh
925	#	#	\|a G
926	#	#	\|a A
927	#	#	\|a BB
980	#	#	\|a Thư viện Trường Đại học Đà Lạt

Ejemplares similares