1
Publicado 2006
Tabla de Contenidos: ... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... of Neuronal Regulators Based on Message-Driven Software Component Architecture -- Winsim: A Tool...
Enlace del recurso
Electrónico eBook
3
Publicado 2010
Tabla de Contenidos: ... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...
Enlace del recurso
Electrónico eBook