Mathematical Theory Of Computation Zohar Manna Pdf 19 Portable Official

: Formal methods for proving the correctness of both flowchart-style and Algol-like programs.