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...
-д хадгалсан:
| Байгууллагын зохиогч: | |
|---|---|
| Бусад зохиолчид: | , |
| Формат: | Бага хурлын үйл явц Ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
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| Зохиогчийн тэмдэгт: |
Libro en línea
|
||
|---|---|---|---|
| Ejemplar 570707-1 |
Disponible
Préstamo en línea
|
Цуглуулга:
Libros electrónicos en línea
|
Тэмдэглэлүүд:
Consultar en línea
|