With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.

"About this title" may belong to another edition of this title.

Store Description

Open seven days a week, a large, fast changing stock, including: Art; Photography; Film; History; Philosophy; Psychology; Music; Drama; Fiction; Antiquarian bindings and books of Irish interest. Original art, posters and ephemera on display and for sale. We are keen to buy whole libraries or single copies - we collect.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Black Gull Books (P.B.F.A.)
United Kingdom

Terms of Sale:

TBA

Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Bank/Wire Transfer

Add to Wants

Items related to Mathematical Theory of Computation (McGraw-Hill Computer...

Mathematical Theory of Computation (McGraw-Hill Computer Science Series)

Manna, Zohar

Used - Hardcover

Seller's business information