Dieses Angebot wurde verkauft am Mi, 17. Sep um 01:45.
Mathematische Theorie des Rechnens (Dover Books on Mathematics)
Verkauft
Mathematische Theorie des Rechnens (Dover Books on Mathematics)
US $9,15US $9,15
Do, 18. Sep, 01:45Do, 18. Sep, 01:45
Solch einen Artikel verkaufen
Mehr Artikel des Verkäufers

Mathematische Theorie des Rechnens (Dover Books on Mathematics)

OnTimeBooks
(55855)
Angemeldet als gewerblicher Verkäufer
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $9,15
Ca.CHF 7,28
Artikelzustand:
Gut
Solch einen Artikel verkaufen
Mehr Artikel des Verkäufers
    Versand:
    Kostenlos USPS Media MailTM.
    Standort: Feasterville Trevose, Pennsylvania, USA
    Lieferung:
    Lieferung zwischen Do, 9. Okt und Do, 16. Okt nach 94104 bei heutigem Zahlungseingang
    Wir wenden ein spezielles Verfahren zur Einschätzung des Liefertermins an – in diese Schätzung fließen Faktoren wie die Entfernung des Käufers zum Artikelstandort, der gewählte Versandservice, die bisher versandten Artikel des Verkäufers und weitere ein. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
    Rücknahme:
    Keine Rücknahme.
    Zahlungen:
         Diners Club

    Sicher einkaufen

    eBay-Käuferschutz
    Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet
    Der Verkäufer ist für dieses Angebot verantwortlich.
    eBay-Artikelnr.:177303701632
    Zuletzt aktualisiert am 17. Sep. 2025 21:30:30 MESZAlle Änderungen ansehenAlle Änderungen ansehen

    Artikelmerkmale

    Artikelzustand
    Gut: Buch, das gelesen wurde, sich aber in einem guten Zustand befindet. Der Einband weist nur sehr ...
    Release Year
    2003
    Book Title
    Mathematical Theory of Computation (Dover Books on Mathematics)
    ISBN
    9780486432380
    Kategorie

    Über dieses Produkt

    Product Identifiers

    Publisher
    Dover Publications, Incorporated
    ISBN-10
    0486432386
    ISBN-13
    9780486432380
    eBay Product ID (ePID)
    4547181

    Product Key Features

    Number of Pages
    480 Pages
    Publication Name
    Mathematical Theory of Computation
    Language
    English
    Subject
    Software Development & Engineering / Quality Assurance & Testing, Programming / General, Logic
    Publication Year
    2003
    Type
    Textbook
    Author
    Zohar Manna
    Subject Area
    Mathematics, Computers
    Series
    Dover Books on Mathematics Ser.
    Format
    Trade Paperback

    Dimensions

    Item Height
    0.9 in
    Item Weight
    18.8 Oz
    Item Length
    8.4 in
    Item Width
    5.5 in

    Additional Product Features

    Intended Audience
    College Audience
    LCCN
    2003-060063
    Dewey Edition
    22
    Illustrated
    Yes
    Dewey Decimal
    005.1
    Synopsis
    With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and algol-like programs); flowchart schemas (basic notions, decision problems, formalization in predicate calculus, and translation programs); and the fixpoint theory of programs (functions and functionals, recursive programs, and verification programs). The treamtent is self-contained, and each chapter concludes with bibliographic remarks, references, and problems., 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., 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.
    LC Classification Number
    QA76.6.M356 2003

    Artikelbeschreibung des Verkäufers

    Info zu diesem Verkäufer

    OnTimeBooks

    98,7% positive Bewertungen•235 Tsd. Artikel verkauft

    Mitglied seit Sep 2017
    Antwortet meist innerhalb 24 Stunden
    Angemeldet als gewerblicher Verkäufer
    Shop besuchenKontakt

    Detaillierte Verkäuferbewertungen

    Durchschnitt in den letzten 12 Monaten
    Genaue Beschreibung
    4.8
    Angemessene Versandkosten
    5.0
    Lieferzeit
    5.0
    Kommunikation
    5.0

    Verkäuferbewertungen (65'766)

    Alle Bewertungen
    Positiv
    Neutral
    Negativ
    Alle Bewertungen ansehen

    Noch mehr entdecken: