lang's books are very clkear on the ideas, short on examplkes and problms. he also does not proof read his books carefully for errors, not take great pains with topics that need careful discussion. his strength is a quick clear summary of the main ideas, and sometimes he makes something seem easy in theory that others make look hard.
but shilov is a masterful, carefully written correct treatment of a large part of linear algebra.
so lang may be better for a quick first pass over the material but i think in the long run shilov offers far more.
halmos' linear algebra book, is a very expert discussion of the theory again with as i recall almost no examples or problems. I cannot imagine a beginner learning first from halmos, although i myself like the book very much for its insights.
for a first course i would probably not choose any of these books but rather a thorough, patient introduction with examples, such as the book by paul shields, or insel, friedberg, and spence, or one of the many free books online.
of course it depends partly on how sophisticated you are and whether you are a math major.
there are also several free books on my website, but not so carefully written as those above.
i also like :"linear algebra done wrong" probably for a second course, free from sergei treil's website at brown.
http://www.math.brown.edu/~treil/papers/LADW/LADW.pdf
but in the end all the books you listed are good, except as noted above halmos problem book is not really a textbook.
by now of course you are in some sense just wasting time asking, and should be actually looking at the books yourself. if money is your worry look in a library.