Dieses Angebot wurde vom Verkäufer am Di, 9. Sep um 07:50 beendet, da der Artikel nicht mehr verfügbar ist.
SPECIFICATION OF ABSTRACT DATA TYPES (WILEY TEUBNER ON By Jacques Loeckx VG
Beendet
SPECIFICATION OF ABSTRACT DATA TYPES (WILEY TEUBNER ON By Jacques Loeckx VG
US $149,75US $149,75
Di, 09. Sep, 19:50Di, 09. Sep, 19:50

SPECIFICATION OF ABSTRACT DATA TYPES (WILEY TEUBNER ON By Jacques Loeckx VG

Excellent Condition! Quick & Free Delivery in 2-14 days
ZUBER
(278192)
Angemeldet als gewerblicher Verkäufer
US $149,75
Ca.CHF 119,53
Artikelzustand:
Sehr gut
Book is in Very Good Condition.  Text will be unmarked.  May show some signs of use or wear. Will ... Mehr erfahrenÜber den Artikelzustand
    Versand:
    Kostenlos Economy Shipping.
    Standort: US, USA
    Lieferung:
    Lieferung zwischen Fr, 10. Okt und Mi, 15. Okt nach 94104 bei heutigem Zahlungseingang
    Liefertermine - wird in neuem Fenster oder Tab geöffnet berücksichtigen die Bearbeitungszeit des Verkäufers, die PLZ des Artikelstandorts und des Zielorts sowie den Annahmezeitpunkt und sind abhängig vom gewählten Versandservice und dem ZahlungseingangZahlungseingang - wird ein neuem Fenster oder Tab geöffnet. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
    Rücknahme:
    30 Tage Rückgabe. Verkäufer zahlt Rückversand.
    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.:226720738640
    Zuletzt aktualisiert am 03. Aug. 2025 17:48:33 MESZAlle Änderungen ansehenAlle Änderungen ansehen

    Artikelmerkmale

    Artikelzustand
    Sehr gut
    Buch, das nicht neu aussieht und gelesen wurde, sich aber in einem hervorragenden Zustand befindet. Der Einband weist keine offensichtlichen Beschädigungen auf. Bei gebundenen Büchern ist der Schutzumschlag vorhanden (sofern zutreffend). Alle Seiten sind vollständig vorhanden, es gibt keine zerknitterten oder eingerissenen Seiten und im Text oder im Randbereich wurden keine Unterstreichungen, Markierungen oder Notizen vorgenommen. Der Inneneinband kann minimale Gebrauchsspuren aufweisen. Minimale Gebrauchsspuren. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers. Alle Zustandsdefinitionen ansehenwird in neuem Fenster oder Tab geöffnet
    Hinweise des Verkäufers
    “Book is in Very Good Condition.  Text will be unmarked.  May show some signs of use or wear. Will ...
    ISBN-10
    047195067X
    Book Title
    Specification of Abstract Data Types (Wiley Teubner on Applicable
    ISBN
    9780471950677
    Kategorie

    Über dieses Produkt

    Product Identifiers

    Publisher
    Wiley & Sons, Incorporated, John
    ISBN-10
    047195067X
    ISBN-13
    9780471950677
    eBay Product ID (ePID)
    9038301706

    Product Key Features

    Number of Pages
    272 Pages
    Language
    English
    Publication Name
    Specification of Abstract Data Types
    Subject
    Programming Languages / General, Computer Science
    Publication Year
    1996
    Type
    Textbook
    Author
    Markus Wolf, Jacques Loeckx, Hans-Dieter Ehrich
    Subject Area
    Computers
    Series
    Wiley Teubner on Applicable Theory in Computer Science Ser.
    Format
    Hardcover

    Dimensions

    Item Height
    0.8 in
    Item Weight
    25 Oz
    Item Length
    9.4 in
    Item Width
    7.6 in

    Additional Product Features

    Edition Number
    1
    Intended Audience
    Scholarly & Professional
    LCCN
    96-032367
    Dewey Edition
    20
    Illustrated
    Yes
    Dewey Decimal
    005.73
    Table Of Content
    Software Design, Data Types and Specification.FUNDAMENTAL TOOLS.Many-Sorted-Algebras.Structuring Algebras.Algebras for Different Signatures.Logic.SPECIFICATION-IN-THE-SMALL.Loose Specifications.Initial Specifications.Constructive Specifications.SPECIFICATIONS-IN-THE-LARGE.Specification Languages.Modularization and Parameterization.A Case Study.FURTHER TOPICS.Further Topics.Bibliography.References.Symbols.Index.
    Synopsis
    Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. After an informal discussion on the design of reliable software, the book presents the main notions and properties of algebras. Next it investigates logic, introducing a general notion of logic, encompassing those commonly used. On the basis of these fundamentals it describes in some detail three specification methods and the principles of specification languages. It concludes with a case study illustrating the use of abstract data type specification in software design. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design.
    LC Classification Number
    QA76.9.A23L63 1996

    Artikelbeschreibung des Verkäufers

    Info zu diesem Verkäufer

    ZUBER

    98,2% positive Bewertungen982 Tsd. Artikel verkauft

    Mitglied seit Okt 1998
    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
    4.9

    Beliebte Kategorien in diesem Shop

    Verkäuferbewertungen (306'870)

    Alle Bewertungen ansehen