Kategorien
Handverlesen
Verbrieft
Kafka, Kafka, Kafka
Alice Munro
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen ( Treffer)
Filter schließen ( Treffer)
Stichwort auswählen
Alle Stichworte
Automatedabstraction (2)
Automatedcoderepair (2)
Automatedstringanalysis (2)
Computersecurity (2)
Formalmethods (2)
Java (2)
Modernsoftwaresystems (2)
Programverification (2)
Softwareverification (2)
Stringanalysis (2)
Stringconstraints (2)
Symbolicverification (2)
Vulnerabilitydetection (2)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik für Informatiker (2)
Sprache auswählen
Sprachen
Englisch (2)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Gebunden (1)
Taschenbuch (1)
Nur mit
-Notizen
Auf Lager
Alles
Nur Personen
Nur Titel
ähnliche Begriffe
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Sie haben nach
Aydin, Abdulbaki
gesucht
eng
Tevfik Bultan / Abdulbaki Aydin …
String Analysis for Software Verification and Security
Springer International Publishing
2019
Taschenbuch
184 Seiten
69,54
€
in Kürze
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following top…
eng
Tevfik Bultan / Abdulbaki Aydin …
String Analysis for Software Verification and Security
Springer International Publishing
2018
Gebunden
184 Seiten
96,29
€
in Kürze
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following top…