1
Udgivet 2010
Indholdsfortegnelse: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...
Få fuldtekst
Electronisk eBog