1
Publicado em 2006
Sumário: ... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2005
Sumário: ... Survivability -- Information Systems Development and Management -- Integration and Maintenance of Heterogeneous...
Obter o texto integral
Recurso Electrónico livro electrónico