Anbieter: Better World Books: West, Reno, NV, USA
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Anbieter: HPB-Red, Dallas, TX, USA
Hardcover. Zustand: 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!
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Hardcover. Zustand: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Verlag: Dover Publications, Incorporated, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. Used book that is in clean, average condition without any missing pages.
Anbieter: Solr Books, Lincolnwood, IL, USA
Zustand: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
EUR 16,45
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Dover Publications 12/24/2003, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Sprache: Englisch
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Paperback or Softback. Zustand: New. Mathematical Theory of Computation. Book.
EUR 18,19
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 17,80
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Black Gull Books (P.B.F.A.), St Leonard's on Sea, Vereinigtes Königreich
Verbandsmitglied: PBFA
EUR 7,02
Anzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Very Good.
Verlag: Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Paperback. Zustand: 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.
Verlag: Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Sprache: Englisch
Anbieter: Rarewaves USA, OSWEGO, IL, USA
EUR 24,22
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
Verlag: Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Sprache: Englisch
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
EUR 31,62
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
Verlag: Mcgraw-Hill 1974 Düsseldorf, 1974
Anbieter: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Deutschland
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.
EUR 15,74
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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.
Verlag: Dover Publications Inc. 2003-11-01, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Sprache: Englisch
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 21,58
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 24,49
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 25,41
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Verlag: McGraw-Hill 1974, 1974
Anbieter: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Deutschland
Hardcover Sehr gut erhalten.
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Verbandsmitglied: PBFA
EUR 17,54
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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).
Verlag: Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Paperback. Zustand: 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.
Anbieter: Studibuch, Stuttgart, Deutschland
hardcover. Zustand: Befriedigend. Seiten; 9780070399105.4 Gewicht in Gramm: 1.
Verlag: Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Sprache: Englisch
Anbieter: Rarewaves USA United, OSWEGO, IL, USA
EUR 25,69
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
EUR 24,34
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
Anbieter: BennettBooksLtd, San Diego, NV, USA
paperback. Zustand: New. In shrink wrap. Looks like an interesting title!
Soft Cover. Zustand: 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.
Anbieter: GoldBooks, Denver, CO, USA
Zustand: new.
Verlag: Dover Publications Dez 2003, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.