This volume presents a systematic and mathematically rigorous exposition of methods for studying linear partial differential equations. It focuses on quantization of the corresponding objects (states, observables and canonical transformations) in the phase space. The quantization of all three types of classical objects is carried out in a unified w