Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings /

Selección de ponencias de la décima quinta Conferencia Internacional sobre Verificación, Comprobación de Modelos e Interpretación de Resúmenes, celebrada en San Diego, EUA, en enero de 2014. Los artículos cubren una amplia gama de temas que incluyen verificación de programas, verificación de modelos...

Celý popis

Podrobná bibliografie

Korporativní autor:	International Conference on Verification, Model Checking and Abstract Interpretation ( San Diego, EUA)
Další autoři:	McMillan, Kenneth L. (edición) (edición), Rival, Xavier (edición) (edición)
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Heidelberg, Alemania : Springer, 2014, c2014
Edice:	(Lecture Notes in Computer Science ; 8318)
Témata:	Intérpretes (Software) Compiladores (Software) Paquetes (Software) - > Reutilización Arquitectura de Software - > Prueba y Medición Paquetes (Software) - > Prueba y Medición - > Tema Principal Programación (Software) Ingeniería de Software Desarrollo de Sistemas - > Congresos - > Tema Principal Sistemas Computacionales Ingeniería Computacional
On-line přístup:	Ver documento en línea
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!