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: 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: 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!
US$ 17.99
Convert currencyQuantity: Over 20 available
Add to basketCondition: 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 1.07. Book.
US$ 20.62
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 19.86
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Published by Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: Grand Eagle Retail, Fairfield, OH, 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.
US$ 22.19
Convert currencyQuantity: 1 available
Add to basketHardcover. 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: Black Gull Books (P.B.F.A.), St Leonard's on Sea, United Kingdom
Association Member: PBFA
US$ 8.38
Convert currencyQuantity: 1 available
Add to baskethardcover. Condition: Very Good.
Published by Mcgraw-Hill 1974 Düsseldorf, 1974
Seller: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Germany
US$ 7.06
Convert currencyQuantity: 1 available
Add to basketKartoniert, 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
US$ 25.77
Convert currencyQuantity: Over 20 available
Add to basketPaperback. Condition: New.
US$ 27.57
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
US$ 30.31
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
US$ 17.65
Convert currencyQuantity: 1 available
Add to basketHardcover Sehr gut erhalten.
US$ 20.94
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 Dez 2003, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 36.17
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware - 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.
Published by Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: AussieBookSeller, Truganina, VIC, Australia
US$ 34.00
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.
Seller: Studibuch, Stuttgart, Germany
US$ 10.94
Convert currencyQuantity: 1 available
Add to baskethardcover. Condition: Befriedigend. Seiten; 9780070399105.4 Gewicht in Gramm: 1.
US$ 29.15
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.
Published by Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: CitiRetail, Stevenage, United Kingdom
US$ 35.58
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.
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
paperback. Condition: New. In shrink wrap. Looks like an interesting title!
US$ 23.54
Convert currencyQuantity: 1 available
Add to basketSoft Cover. Condition: Good. [Por]., Applied Mathematics Department, Weizmann Institute of Science Rehovot, Israel. International Student Editon. McGraw-Hill Kogakusha. Tokyo. 1974. De 21x15 cm. Com 448 págs. Brochado. Ilustrado no texto com fórmulas, desenhos e esquemas. Exemplar com etiqueta da Livraria Papelaria Citação na folha de guarda anterior e assinatura de posse na folha de rosto. Obra impressa sobre papel de excelente qualidade. Language: Inglês / English Location/localizacao: I-26-H-18.
Published by Dover publications, 2003
Seller: Rometti Vincent, Nice, France
US$ 35.31
Convert currencyQuantity: 1 available
Add to basketCouverture souple. Condition: Bon. NY, Dover publications, 2003. In-8 broché, X+448pp. Bel état.
Seller: dsmbooks, Liverpool, United Kingdom
US$ 104.33
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: Very Good. Very Good. book.
Published by Dover Publications, 2003
Seller: Antiquariat Mang, Saarbrücken, Germany
US$ 7.06
Convert currencyQuantity: 1 available
Add to basketbroschiert, 0. 448 S., broschiert, Schnitt angeschmutzt, Name auf 1. Seite, sonst gut erhalten, 0,600 kg.
Published by Dover Publications Inc., 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
US$ 27.58
Convert currencyQuantity: Over 20 available
Add to basketPaperback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 516.
Seller: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, Denmark
First Edition
US$ 63.10
Convert currencyQuantity: 1 available
Add to basketTokyo, McGraw-Hill Kogakusha, (1974). 8vo. Orig. printed wrappers. X,448 pp. First edition. Published in 'McGraw-Hill Computer Science Series'.