Bild 1 von 9
Galerie
Bild 1 von 9
Ähnlichen Artikel verkaufen?
Einführung in das formale Design von Echtzeitsystem
US $25,00
Ca.CHF 19,94
oder Preisvorschlag
Artikelzustand:
Gut
Buch, das gelesen wurde, sich aber in einem guten Zustand befindet. Der Einband weist nur sehr geringfügige Beschädigungen auf, wie z.B. kleinere Schrammen, er hat aber weder Löcher, noch ist er eingerissen. Bei gebundenen Büchern ist der Schutzumschlag möglicherweise nicht mehr vorhanden. Die Bindung weist geringfügige Gebrauchsspuren auf. Die Mehrzahl der Seiten ist unbeschädigt, das heißt, es gibt kaum Knitter oder Einrisse, es wurden nur in geringem Maße Bleistiftunterstreichungen im Text vorgenommen, es gibt keine Textmarkierungen und die Randbereiche sind nicht beschrieben. Alle Seiten sind vollständig vorhanden. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers.
- Sofort-KaufenEinführung in das formale Design von Echtzeitsystemen von David Gray 1999 Frühjahr
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos USPS Media MailTM.
Standort: Hollywood, Maryland, USA
Lieferung:
Lieferung zwischen Mo, 15. Sep und Sa, 20. Sep nach 94104 bei heutigem Zahlungseingang
Rücknahme:
Keine Rücknahme.
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:145418757776
Artikelmerkmale
- Artikelzustand
- Subject
- Design
- ISBN
- 9783540761402
Ü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
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.5 Tsd. Artikel verkauft
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.
Verkäuferbewertungen (3'360)
- a***s (41)- Bewertung vom Käufer.Letzter MonatBestätigter KaufShipped promptly, packed very safely, exactly as described, and a great value for someone who wants to have the original version of this book.
- d***4 (4239)- Bewertung vom Käufer.Letzter MonatBestätigter KaufAs described. Thanks
- 7***7 (239)- Bewertung vom Käufer.Letzter MonatBestätigter KaufSecurely packaged. Prompt shipping.
Noch mehr entdecken:
- Zeitschriften Design,
- Bücher über Design,
- David Baldacci Belletristik-Bücher,
- Hörbücher David Baldacci,
- Hörbücher David Sedaris,
- Bücher über Design Sachbuch,
- David Baldacci Hörbücher Krimis & Thriller,
- Bücher über Thriller David Baldacci Belletristik,
- Bücher David-Baldacci-Belletristik-Jugendliche,
- Englische Belletristik David Baldacci Bücher