String Analysis for Software Verification and Security by Tevfik Bultan (English
83,03 €
By Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin. 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:
