1
Veröffentlicht 2010
Inhaltsangabe: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2005
Inhaltsangabe: ... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...
Volltext
Elektronisch E-Book