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...

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	International Conference on Verification, Model Checking and Abstract Interpretation ( San Diego, EUA)
Andre forfattere:	McMillan, Kenneth L. (edición) (edición), Rival, Xavier (edición) (edición)
Format:	Procedimiento de la conferencia Bog
Sprog:	engelsk
Udgivet:	Heidelberg, Alemania : Springer, 2014, c2014
Serier:	(Lecture Notes in Computer Science ; 8318)
Fag:	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
Online adgang:	Ver documento en línea
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!