Symbolische Ausführung und quantitatives Denken: Anwendungen für Software sicher...
29,26 €
Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by collecting and solving symbolic constraints collected from the branching conditions in the program.
Jetzt bei Ebay:
