Condizione: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Da: HPB-Red, Dallas, TX, U.S.A.
Hardcover. Condizione: 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!
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Hardcover. Condizione: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Editore: Dover Publications, Incorporated, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Lingua: Inglese
Da: Better World Books, Mishawaka, IN, U.S.A.
Condizione: Good. Used book that is in clean, average condition without any missing pages.
Da: Solr Books, Lincolnwood, IL, U.S.A.
Condizione: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
Condizione: New.
Editore: Dover Publications 12/24/2003, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Lingua: Inglese
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condizione: New. Mathematical Theory of Computation. Book.
Condizione: As New. Unread book in perfect condition.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Da: Black Gull Books (P.B.F.A.), St Leonard's on Sea, Regno Unito
Membro dell'associazione: PBFA
EUR 7,01
Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good.
Editore: Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Lingua: Inglese
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: 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.
Editore: Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Lingua: Inglese
Da: Rarewaves USA, OSWEGO, IL, U.S.A.
Paperback. Condizione: New.
Editore: Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Lingua: Inglese
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 31,65
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Editore: Mcgraw-Hill 1974 Düsseldorf, 1974
Da: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Germania
EUR 6,00
Quantità: 1 disponibili
Aggiungi al carrelloKartoniert, 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.
EUR 15,74
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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.
Editore: Dover Publications Inc. 2003-11-01, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Lingua: Inglese
Da: Chiron Media, Wallingford, Regno Unito
EUR 21,55
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
EUR 24,45
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 25,34
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Editore: McGraw-Hill 1974, 1974
Da: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Germania
EUR 15,00
Quantità: 1 disponibili
Aggiungi al carrelloHardcover Sehr gut erhalten.
Da: Fireside Bookshop, Stroud, GLOS, Regno Unito
Membro dell'associazione: PBFA
EUR 17,52
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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).
Editore: Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Lingua: Inglese
Da: AussieBookSeller, Truganina, VIC, Australia
EUR 25,77
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
Da: Studibuch, Stuttgart, Germania
EUR 6,99
Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Befriedigend. Seiten; 9780070399105.4 Gewicht in Gramm: 1.
Editore: Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Lingua: Inglese
Da: Rarewaves USA United, OSWEGO, IL, U.S.A.
EUR 25,66
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Editore: Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Lingua: Inglese
Da: CitiRetail, Stevenage, Regno Unito
EUR 29,76
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
EUR 24,34
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Da: BennettBooksLtd, San Diego, NV, U.S.A.
paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
Da: Livraria Castro e Silva, Lisboa, Portogallo
EUR 20,00
Quantità: 1 disponibili
Aggiungi al carrelloSoft Cover. Condizione: 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.
Da: GoldBooks, Denver, CO, U.S.A.
Condizione: new.