String Analysis for Software Verification and Security /

String Analysis for Software Verification and Security /

Bibliographic Details
Main Authors: Bultan, Tevfik. (Author), Yu, Fang. (Author), Alkhalaf, Muath. (Author), Aydin, Abdulbaki. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Subjects:
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 Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items