1 द्वारा ईबुक Abdulbaki Aydin
Tevfik Bultan & Fang Yu: String Analysis for Software Verification and Security
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, com …
PDF
अंग्रेज़ी
€69.54
