Einführung in das formale Design von Echtzeitsystemen von David Gray 1999 Frühjahr-

Ursprünglicher Text
Introduction to the Formal Design of Real-Time Systems by David Gray 1999 Spring
chrisjenick
(3465)
Angemeldet als privater Verkäufer
Verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, finden daher keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe. Mehr erfahren
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $25,00
Ca.EUR 21,34
oder Preisvorschlag
Artikelzustand:
Gut
Versand:
Kostenlos USPS Media MailTM.
Standort: Hollywood, Maryland, USA
Lieferung:
Lieferung zwischen Fr, 12. Sep und Do, 18. Sep 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

  • Gratis Rückversand im Inland
  • Punkte für jeden Kauf und Verkauf
  • Exklusive Plus-Deals
Mehr erfahren- eBay Plus - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:145418757776
Zuletzt aktualisiert am 05. Jan. 2024 06:16:00 MEZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand
Gut: Buch, das gelesen wurde, sich aber in einem guten Zustand befindet. Der Einband weist nur sehr ...
Subject
Design
ISBN
9783540761402
Kategorie

Über dieses Produkt

Product Identifiers

Publisher
Springer London, The Limited
ISBN-10
3540761403
ISBN-13
9783540761402
eBay Product ID (ePID)
515799

Product Key Features

Number of Pages
Xiii, 461 Pages
Publication Name
Introduction to the Formal Design of Real-Time Systems
Language
English
Publication Year
1998
Subject
Systems Architecture / General, Software Development & Engineering / General, Computer Science, Data Processing, Software Development & Engineering / Systems Analysis & Design
Type
Textbook
Author
David F. Gray
Subject Area
Computers
Series
Applied Computing Ser.
Format
Trade Paperback

Dimensions

Item Weight
25.4 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
97-029239
Dewey Edition
21
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
005.2/73
Table Of Content
1 Scene Set.- 1.1 Making Models.- 1.2 Lies, Damn Lies and Models.- 1.3 Abstraction, Atomicity and Algebras.- 1.4 Labelled Transition Systems.- 1.5 One at Once, All Together and In Time.- 1.6 Real-Time Systems.- 2 Concurrency and Communication.- 2.1 Concurrency - Defining the Problems.- 2.2 Programming Domain Solutions.- 2.3 Review and Rethink.- 3 Message Passing.- 3.1 Choosing the Best.- 3.2 Blocking Send.- 3.3 CCS (Calculus of Communicating Systems).- 3.4 Rendezvous.- 3.5 Conclusion.- 4 Synchronous Calculus of Communicating Systems.- 4.1 An Overview of SCCS.- 4.2 Plain SCCS.- 4.3 Recursion.- 4.4 Actions, Particles, Composites and All Sorts.- 4.5 Synchronisation.- 4.6 Constructional Design.- 4.7 Message Passing.- 4.8 Agents Lurking.- 4.9 Specifications and Proof.- 5 Equivalence.- 5.0 The Need For Equivalence.- 5.1 Traces.- 5.2 From Traces to Bisimulations.- 5.3 Bisimulation.- 6 Automating SCCS.- 6.0 Concurrency Work Bench: an Introduction.- 6.1 CWB and Agent Behaviours.- 6.2 Agents, Bisimulation and CWB.- 6.3 Comments.- 7 Proving Things Correct.- 7.1 Modal Logics.- 7.2 Modal Logic, CWB and Satisfaction.- 8 End End Note.- Appendix 1 Some of the More Useful SCCS Propositions.- Appendix 2 Notation Used Throughout the Book.- References.
Synopsis
but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ­ er see different things as being equal, and how we can produce algo­ rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. * The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check­ ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path­ ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order., but when we state that A 'equals' B, as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ- er see different things as being equal, and how we can produce algo- rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. - The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check- ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path- ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.
LC Classification Number
QA76.9.E94

Artikelbeschreibung des Verkäufers

Info zu diesem Verkäufer

chrisjenick

100% positive Bewertungen•7.451 Artikel verkauft

Mitglied seit Mai 1999
Angemeldet als privater VerkäuferDaher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe. Mehr erfahrenMehr erfahren
Shop besuchenKontakt

Detaillierte Verkäuferbewertungen

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

Verkäuferbewertungen (3.356)

Alle Bewertungen
Positiv
Neutral
Negativ
  • w***c (270)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    The item was received promptly, well packed and in excellent condition. Communication from seller on purchase and shipping info was very quick and detailed. The literature I ordered was clearly displayed on the website and is exactly what I received and great value for the price. I am very pleased with the transaction and highly recommend this seller.
    McIntosh MX117 Tuner Preamplifier Preamp Schematic Information Genuine Original (Nr. 134955392351)
  • s***n (46)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    This is the second service manual I've bought from this seller. It was shipped and received quickly and it was well packaged and protected for safe travels. As described and a reasonable price. I will continue to see if this seller has the service manuals I need and continue to order from him. His prices are fair and significantly lower than other sellers for similar items.
    Sansui 4000 AM/FM Stereo Tuner Amplifier Service Manual Original Genuine (Nr. 134876595457)
  • 8***r (1378)- Bewertung vom Käufer.
    Letzter Monat
    Bestätigter Kauf
    Well it came in pretty broke up, it looked like it got dropped kicked all the way to my house, even though it was packed pretty good, shippers just don’t care! It guess it was a good value before it got shipped, i did manage to get it working in some degree, it was described as being damaged and broken, but i will fix it!
    Sansui P-L95R Automatic DD Turntable Service Manual Vintage Original OEM Genuine (Nr. 135593454980)
Alle Bewertungen ansehen

Noch mehr entdecken: