Mathematical Theory Of Computation Zohar Manna Pdf 19 Portable -

Zohar Manna's " Mathematical Theory of Computation " (originally published in 1974) is a seminal text that transitioned program verification from an informal art ("debugging") into a rigorous mathematical science. 

Program Verification: Detailed methodologies for verifying both flowchart-based and Algol-like programs. Zohar Manna's " Mathematical Theory of Computation "

The Book: A Foundational Text

“Mathematical Theory of Computation” by Zohar Manna (1939–2018) is a landmark textbook. Published in 1974, it was one of the first rigorous treatments of the theoretical underpinnings of computer science. Manna, a renowned Israeli-American computer scientist, focused on: a renowned Israeli-American computer scientist

If you're unable to find a direct link to the PDF, you may need to purchase the book or access it through a university library or online repository. Zohar Manna's " Mathematical Theory of Computation "