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