Rekommenderade teman
Rekommenderade teman
Menade du:
process accelerating » process acceleration, products accelerating, process generating
accelerating java » accelerating data, accelerating a, accelerating cars
integer java » integer data, integer base, integer dea
java process » java processor, data process, phva process
https » http
process accelerating » process acceleration, products accelerating, process generating
accelerating java » accelerating data, accelerating a, accelerating cars
integer java » integer data, integer base, integer dea
java process » java processor, data process, phva process
https » http
1
Publicerad 2007
Innehållsförteckning:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2007
Innehållsförteckning:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Hämta fulltext
Elektronisk
E-bok