Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings /

Selección de ponencias presentadas en el vigésimo primer Simposio Internacional sobre Análisis Estático, celebrado en Munich, Alemania, en septiembre de 2014. Los artículos desarrollan temas relacionados con el análisis estático, entre los que se incluyen, la interpretación abstracta, las pruebas ab...

Бүрэн тодорхойлолт

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Байгууллагын зохиогч: International Symposium on Static Analysis( Munich, Alemania)
Бусад зохиолчид: Müller-Olm, Markus (edición), Seidl, Helmut (edición)
Формат: Бага хурлын үйл явц Ном
Хэл сонгох:англи
Хэвлэсэн: Cham, Suiza : Springer, 2014, c2014
Цуврал:(Lecture Notes in Computer Science ; Advanced Research in Computing and Software Science) 8723.
Нөхцлүүд:
Онлайн хандалт:Ver documento en línea
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Интернэт

Ver documento en línea
IT2-с авсан түр хойшлуулсан зүйлсийн дэлгэрэнгүй мэдээлэл
Зохиогчийн тэмдэгт:
Libro en línea
Ejemplar 570707-1
Disponible
Préstamo en línea
Цуглуулга:
Libros electrónicos en línea
Тэмдэглэлүүд:
Consultar en línea