1
Published 2010
Table of Contents: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...
View full text
Electronic eBook