1
Publicado 2008
Table of Contents: ... Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well...
Ligazón do recurso
Electrónico eBook