Librería: AVON HILL BOOKS, Cambridge, MA, Estados Unidos de America
Miembro de asociación: SNEAB
EUR 12,65
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Near Fine. Unabridge republication of 1974 work. ; 8vo 8" - 9" tall; 480 pp; Dover Books On Mathematics.
Librería: HPB-Diamond, Dallas, TX, Estados Unidos de America
EUR 12,52
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 17,16
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Dover Publications 12/24/2003, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 19,55
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Mathematical Theory of Computation. Book.
Librería: Lakeside Books, Benton Harbor, MI, Estados Unidos de America
EUR 16,99
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Brand New! Not Overstocks or Low Quality Book Club Editions! Direct From the Publisher! We're not a giant, faceless warehouse organization! We're a small town bookstore that loves books and loves it's customers! Buy from Lakeside Books!
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 18,34
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 21,68
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
EUR 22,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Idioma: Inglés
Publicado por Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 23,87
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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.
Idioma: Inglés
Publicado por Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 28,41
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Idioma: Inglés
Publicado por Dover Publications Inc. 2003-11-01, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Librería: Chiron Media, Wallingford, Reino Unido
EUR 22,25
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
EUR 23,90
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 26,06
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
EUR 23,93
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
EUR 24,26
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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.
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
EUR 74,04
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New. In shrink wrap. Looks like an interesting title!
Idioma: Inglés
Publicado por Dover Publications Dez 2003, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 30,27
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Idioma: Inglés
Publicado por Dover Publications Inc., US, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Librería: Rarewaves.com UK, London, Reino Unido
EUR 25,48
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Idioma: Inglés
Publicado por Dover Publications Inc., 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 26,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Idioma: Inglés
Publicado por Dover Publications Inc., New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Librería: AussieBookSeller, Truganina, VIC, Australia
EUR 27,71
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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. Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Idioma: Inglés
Publicado por Dover Publications, New York, 2003
ISBN 10: 0486432386 ISBN 13: 9780486432380
Librería: CitiRetail, Stevenage, Reino Unido
EUR 31,34
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.