Vista normal
Vista MARC
- CACHÉ (MEMORIA DE COMPUTADORAS)
CACHÉ (MEMORIA DE COMPUTADORAS) (Término de materia)
Machine generated authority record.
Work cat.: (CoBo-ECI): Ramirez Rico, Sergio Steven 4598, Especificación formal y verificación de invariantes para un protocolo de coherencia del caché :, 2013