This volume presents a systematic mathematically rigorous exposition of methods for studying linear partial differential equations on the basis of quantization of the corresponding objects (states, observables and canonical transformations) in the phase space.