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
