
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
Bild 1 von 1

Galerie
Bild 1 von 1

Ähnlichen Artikel verkaufen?
SPECIFICATION OF ABSTRACT DATA TYPES (WILEY TEUBNER ON By Jacques Loeckx VG
Excellent Condition! Quick & Free Delivery in 2-14 days
US $149,75
Ca.CHF 119,53
Artikelzustand:
“Book is in Very Good Condition. Text will be unmarked. May show some signs of use or wear. Will ”... Mehr erfahrenÜber den 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.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos Economy Shipping.
Standort: US, USA
Lieferung:
Lieferung zwischen Fr, 10. Okt und Mi, 15. Okt nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Verkäufer zahlt Rückversand.
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:226720738640
Artikelmerkmale
- Artikelzustand
- Sehr gut
- Hinweise des Verkäufers
- ISBN-10
- 047195067X
- Book Title
- Specification of Abstract Data Types (Wiley Teubner on Applicable
- ISBN
- 9780471950677
Ü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
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 Bewertungen•982 Tsd. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Beliebte Kategorien in diesem Shop
Verkäuferbewertungen (306'870)
Dieser Artikel (1)
Alle Artikel (306'870)
- Automatische Bewertung von eBay- Bewertung vom Käufer.Letzter MonatBestellung pünktlich und problemlos geliefert
- eBay 自動留下信用評價- Bewertung vom Käufer.Letzter Monat訂單準時送達,沒遇到任何問題
- eBay 自動留下信用評價- Bewertung vom Käufer.Letzter Monat訂單準時送達,沒遇到任何問題
- l***_ (160)- Bewertung vom Käufer.Letzter MonatBestätigter KaufItem arrived on time and in the condition advertised. The book's was a good value. I usually only purchase books that I have previewed, so item was of good quality. Gritty read…
Noch mehr entdecken:
- Shades-of-Grey-Belletristik - Bücher,
- Erwachsene Masters of the Universe Hörbücher und Hörspiele,
- Masters of the Universe Jugendliche Hörbücher und Hörspiele,
- Masters of the Universe Jugendliche Hörbücher und Hörspiele,
- Deutsche Bücher Shades-of-Grey-Belletristik,
- Erwachsene Masters of the Universe Hörbücher und Hörspiele,
- Ungekürzte Masters of the Universe Buchreihe Hörbücher und Hörspiele,
- Erwachsene Ungekürzte Masters of the Universe Hörbücher und Hörspiele,
- Masters of the Universe Buchreihe Hörbücher und Hörspiele mit Kinder- & Jugendliteratur,
- Masters of the Universe Buchreihe Hörbücher und Hörspiele mit Kinder- & Jugendliteratur