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.
"synopsis" may belong to another edition of this title.
£ 3.25 shipping within United Kingdom
Destination, rates & speedsSeller: Black Gull Books (P.B.F.A.), St Leonard's on Sea, United Kingdom
hardcover. Condition: Very Good. Seller Inventory # 3-C10032
Quantity: 1 available
Seller: Better World Books: West, Reno, NV, U.S.A.
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 5042975-6
Quantity: 1 available
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 14696563-6
Quantity: 1 available
Seller: Ammareal, Morangis, France
Hardcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Edition 1974. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1974. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # G-128-634
Quantity: 1 available
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Hardcover. Condition: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.54. Seller Inventory # G0070399107I3N01
Quantity: 1 available
Seller: Studibuch, Stuttgart, Germany
hardcover. Condition: Befriedigend. Seiten; 9780070399105.4 Gewicht in Gramm: 1. Seller Inventory # 736141
Quantity: 1 available
Seller: dsmbooks, Liverpool, United Kingdom
Hardcover. Condition: Very Good. Very Good. book. Seller Inventory # D8S0-3-M-0070399107-4
Quantity: 1 available
Seller: HPB-Red, Dallas, TX, U.S.A.
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_404336532
Quantity: 1 available