|  |
| |
| Artikel-Nr.:
858A-9783319886374 Herst.-Nr.:
9783319886374 EAN/GTIN:
9783319886374 |
| |
|
| | |
| String Analysis for Software Verification and Security Weitere Informationen: | | Author: | Tevfik Bultan; Fang Yu; Muath Alkhalaf; Abdulbaki Aydin | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Automated sanitization synthesis, Automated string analysis, Computer security, Input validation and sanitization, Java, Modern programming languages, Modern software systems, Software verification, String analysis, Vulnerability detection, Program verification |
| | |
| |