Mathematical Theory of Computation by Zohar Manna (English) Paperback Book

grandeagleretail
(955893)
Angemeldet als gewerblicher Verkäufer
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $33,47
Ca.CHF 26,64
Artikelzustand:
Neu
3 verfügbar
Ganz entspannt. Rückgaben akzeptiert.
Versand:
Kostenlos Economy Shipping.
Standort: Fairfield, Ohio, USA
Lieferung:
Lieferung zwischen Mi, 15. Okt und Di, 21. 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:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
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.:396987492736
Zuletzt aktualisiert am 28. Sep. 2025 04:55:10 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand
Neu: Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte ...
ISBN-13
9780486432380
Book Title
Mathematical Theory of Computation
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

grandeagleretail

98,6% positive Bewertungen•2.8 Mio. Artikel verkauft

Mitglied seit Sep 2010
Antwortet meist innerhalb 24 Stunden
Angemeldet als gewerblicher Verkäufer
Grand Eagle Retail is your online bookstore. We offer Great books, Great prices and Great service.
Shop besuchenKontakt

Detaillierte Verkäuferbewertungen

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

Beliebte Kategorien in diesem Shop

Alle ansehenKategorien
The ArtsBiography & True StoriesChildren's & Young AdultComputing & ITEarth Sciences & GeographyFinance, Econ, Business & MgtFictionHealth & Personal DevelopmentHumanities

Verkäuferbewertungen (1'065'329)

Alle Bewertungen
Positiv
Neutral
Negativ
Alle Bewertungen ansehen

Noch mehr entdecken: