From the rear cover: The book covers some of the basic techniques developed in research. It emphasizes what it calls "informal correctness proofs" used by programmers in testing programs. The aim is to provide systematic means of checking programs and to explain some basic programming constructs, looping , and recursion. It is intended to be a supplement for undergraduate and graduate theory of computation courses.
"synopsis" may belong to another edition of this title.
Book Description John Wiley & Sons Inc, 1979. Paperback. Book Condition: New. Never used!. Bookseller Inventory # P110471033952