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!

String analysis for software verification and security

String analysis for software verification and security von Bultan, Tevfik, Yu, Fang, Alkhalaf, Muath, Aydin, Abdulbaki

Veröffentlicht 2017

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Elektronisch E-Book