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.

Sistema de Bibliotecas del TEC

Detalle de Existencias desde Sistema de Bibliotecas del TEC
Copia Disponible

Ejemplares similares