Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /

Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Lahiri, Shuvendu. (Editor ), Reger, Giles. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Programming and Software Engineering ; 10548
Materias:
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Computer security.
Computer system failures.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Systems and Data Security.
System Performance and Evaluation.
Descripción
Descripción Física:XIX, 432 p. 147 illus. : online resource.
ISBN:9783319675312

Ejemplares similares