(Ilmumisaeg: 04-Jan-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319686707)
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 ...Loe edasi...
(Ilmumisaeg: 04-Jan-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319686707)
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 ...Loe edasi...
