String Analysis for Software Verification and Security, Hardcover by Bultan, ...
112,83 €
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. String manipulation is a crucial part of modern software systems; for example, it is used extensively in input validation and sanitization and in dynamic code and query generation.
Jetzt bei Ebay:
