1 Ebooks par 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
Anglais
€69.54
