1
Publicado em 2008
Sumário: ... Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well...
Obter o texto integral
Recurso Electrónico livro electrónico