Rekommenderade teman
Rekommenderade teman
Menade du:
development computers » development computer, development chapters, development competences
process development » product development, program development, professional development
computers https » computing https, computers gtt, computers help
integer java » integer data, integer base, integer dea
java process » java processor, data process, phva process
development computers » development computer, development chapters, development competences
process development » product development, program development, professional development
computers https » computing https, computers gtt, computers help
integer java » integer data, integer base, integer dea
java process » java processor, data process, phva process
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