Abdulbaki Aydin – författare
Visar alla böcker från författaren Abdulbaki Aydin. Handla med fri frakt och snabb leverans.
3 produkter
String Analysis for Software Verification and Security
Av Tevfik Bultan, Fang Yu m. fl.
Inbunden, 2018
1018 kr
Lägg i varukorg
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, …
String Analysis for Software Verification and Security
Av Abdulbaki Aydin, Muath Alkhalaf m. fl.
E-bok, 2018
903 kr
Lägg i varukorg
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, …
String Analysis for Software Verification and Security
Av Tevfik Bultan, Fang Yu m. fl.
Häftad, 2019
736 kr
Lägg i varukorg
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, …
