Mathematical theory of computation

Bibliographic Details
Main Author:	Manna, Zohar
Format:	Book
Language:	English
Published:	New York McGraw-Hill 1974.
Subjects:	Computer programming. Debugging in computer science.