Ebooks de Tevfik Bultan en PDF

1 Livre(s)
Télécharger le livre : String Analysis for Software Verification and Security
Ajouter à ma liste d'envies
String Analysis for Software Verification and Security
Muath Alkhalaf , Abdulbaki Aydin , Tevfik Bultan , Fang Yu
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...

Editeur : Springer
Parution : 2018-01-04

PDF

68,56 €