Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
processing development » process development, processing developing, processes development
java processing » data processing, data processings, data processsing
computers https » computing https, computers gtt, computers help
computer https » computing https, computer arts, computer hosts
integer java » integer data, integer base, integer dea
processing development » process development, processing developing, processes development
java processing » data processing, data processings, data processsing
computers https » computing https, computers gtt, computers help
computer https » computing https, computer arts, computer hosts
integer java » integer data, integer base, integer dea
1
Publicado 2007
Tabla de Contenidos:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Enlace del recurso
Electrónico
eBook
2
Publicado 2007
Tabla de Contenidos:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Enlace del recurso
Electrónico
eBook