Si funcionan basta con mirar en el perfil del sistema y te dira que modelo de DIMM lleva puestos de serie , despues vas a cualquier tinda pecera y compras unas memorias kingston o samsung de esas caracteristicas (asegurate de que sean autenticas) y no problem casi siempre (mejor una tienda de confianza por si tienes que cambiarlas).