String analysis for software verification and security

String analysis for software verification and security

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Bultan, Tevfik (VerfasserIn), Yu, Fang (VerfasserIn), Alkhalaf, Muath (VerfasserIn), Aydin, Abdulbaki (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Cham Springer [2017]
Schlagworte:
Computer science
Software engineering
Programming languages (Electronic computers)
Computer security
Computer logic
Mathematical logic
Computer science / Mathematics
Computer Science
Systems and Data Security
Programming Languages, Compilers, Interpreters
Software Engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Ähnliche Einträge