This book is devoted to a rather complete discussion of techniques and topics intervening in the mathematical treatment of quantum and semi-classical mechanics. It starts with a very readable introduction to symplectic geometry. Many topics are also of genuine interest for pure mathematicians working in geometry and topology.
