String-Analyse für Software-Verifizierung und Sicherheit, Hardcover von Bultan, ...
106,55 €
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:
