Virtual machines have been critical software systems for decades and now platforms such as Apple iOS, Google Android, and Microsoft Windows Phone all need them as primary application execution engines. This book provides a systematic description that combines high-level design and low-level implementations and integrates advanced academic topics and commercial solutions for industry. It presents two drastically different practical virtual machine designs and implementations: one as an introductory courseware and the other as a high-performance software product with source code.