This book offers a 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.