Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
integration computer » international computer, interactive computer
computer programs » computer program
programs proving » programs improving, programs deriving, programs serving
proving array » protein array, coding array, moving arrays
array virtual » arrays virtual, array visual, play virtual
integration computer » international computer, interactive computer
computer programs » computer program
programs proving » programs improving, programs deriving, programs serving
proving array » protein array, coding array, moving arrays
array virtual » arrays virtual, array visual, play virtual
1
Veröffentlicht 2014
Inhaltsangabe:
“...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”Volltext
Elektronisch
E-Book
