Stable K-theory as a derived functor