Published by McGraw-Hill Education, 1976
ISBN 10: 0070399107 ISBN 13: 9780070399105
Language: English
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: 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: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Hardcover. Condition: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Published by Dover Publications, Incorporated, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Used book that is in clean, average condition without any missing pages.
Seller: Solr Books, Lincolnwood, IL, U.S.A.
Condition: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
Condition: New.
Published by Dover Publications 12/24/2003, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condition: New. Mathematical Theory of Computation. Book.
Condition: As New. Unread book in perfect condition.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Seller: Black Gull Books (P.B.F.A.), St Leonard's on Sea, United Kingdom
Association Member: PBFA
£ 6
Convert currencyQuantity: 1 available
Add to baskethardcover. Condition: Very Good.
Published by Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Published by Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Paperback. Condition: New.
Published by Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
£ 27.55
Convert currencyQuantity: Over 20 available
Add to basketPaperback. Condition: New.
Published by Mcgraw-Hill 1974 Düsseldorf, 1974
Seller: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Germany
Kartoniert, Format groß 8°, 448 Seiten, das Buch befindet sich in einem sehr guten Zustand --- hardcover, 448 pages, very good condition. Shipping to abroad insured with tracking number.
Published by Dover Publications Inc. 2003-11-01, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: Chiron Media, Wallingford, United Kingdom
£ 18.46
Convert currencyQuantity: Over 20 available
Add to basketPaperback. Condition: New.
£ 19.74
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
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.
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.
£ 21.29
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Published by McGraw-Hill 1974, 1974
Seller: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Germany
£ 13.49
Convert currencyQuantity: 1 available
Add to basketHardcover Sehr gut erhalten.
£ 15
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Type: Book N.B. Small plain label to inside front cover. International student edition. Light rubbing to corners and edges of covers and spine. (MATHEMATICS).
Published by Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: AussieBookSeller, Truganina, VIC, Australia
£ 22.32
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Published by Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: Rarewaves USA United, OSWEGO, IL, U.S.A.
Paperback. Condition: New.
Seller: Studibuch, Stuttgart, Germany
hardcover. Condition: Befriedigend. Seiten; 9780070399105.4 Gewicht in Gramm: 1.
Published by Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: CitiRetail, Stevenage, United Kingdom
£ 25.49
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. 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. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
£ 21.90
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. KlappentextrnrnWith 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 T.
Seller: BennettBooksLtd, San Diego, NV, U.S.A.
paperback. Condition: New. In shrink wrap. Looks like an interesting title!