String Analysis for Software Verification and Security /

String Analysis for Software Verification and Security /

Detalles Bibliográficos
Autores principales: Bultan, Tevfik. (Autor), Yu, Fang. (Autor), Alkhalaf, Muath. (Autor), Aydin, Abdulbaki. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Materias:
Computer security.
Programming languages (Electronic computers).
Software engineering.
Computer logic.
Mathematical logic.
Computer science-Mathematics.
Systems and Data Security.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Descripción
Descripción Física:IX, 174 p. 74 illus., 6 illus. in color. : online resource.
ISBN:9783319686707

Ejemplares similares