Lang also has a 1999 book called "Fundamentals of Differential Geometry", which despite the different title seems to be just the most recent version of "Differential Manifolds". The library has the 1995 version and one or more of the earlier editions, as well as the 1999 book.