Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
computing processing » computing proceeding, computing proceedings, computer processing
programs computing » programs compiling, programs conducting, problems computing
java programs » java programming
integer java » integer data, integer base, integer dea
https » http
computing processing » computing proceeding, computing proceedings, computer processing
programs computing » programs compiling, programs conducting, problems computing
java programs » java programming
integer java » integer data, integer base, integer dea
https » http
1
Veröffentlicht 2007
Inhaltsangabe:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2010
Inhaltsangabe:
“... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2006
Inhaltsangabe:
“... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2007
Inhaltsangabe:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Volltext
Elektronisch
E-Book