Concurrent and Real-time Systems (Paperback)

Sprache: Englisch

Verlag: John Wiley & Sons Inc, New York, 1999

0471623733 / 9780471623731

  • Erstausgabe
  • Softcover
  • Neu
Alle Details anzeigen

Anbieter: CitiRetail, Stevenage, Vereinigtes KönigreichCitiRetail

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 29. Juni 2022

Softcover

Zustand: Neu

EUR 87,12

EUR 44,40 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Paperback. The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed and understood, together with a supporting theory which allows them to be analyzed and shown to be correct. This book supports advanced level courses on concurrency covering timed and untimed CSP. The first half introduces the language of CSP, the primary semantic models (traces, failures, divergences and infinite traces), and their use in the modelling, analysis and verification of concurrent systems. The second half of the book introduces time into the language, brings in the timed semantic model (timed failures) and finally presents the theory of timewise refinement which links the two halves together. Accompanying website: Containing the following: -Exercises and solutions -Instructors resources - Example CSP programs to run on FDR and ProBe -Links to useful sites Partial Contents: Part I: The Language of CSP; Sequential Processes; Concurrency; Abstraction and Control Flow; Part II: Analyzing Processes; Traces; Specification and Verification with Traces; Stable Failures; Specification and Verification with Failures; Failures, Divergences, and Infinite Traces; Part III: Introducing Time; The Timed Language; Timed transition systems; Part IV: Timed Analysis; Semantics of Timed CSP; Timed Specification and Verification; Timewise Refinement; Appendix A: Event-based Time; A.1 Standard CSP and $tock$; A.2 Translating from Timed CSP; A.3 Notes; Appendix B: Model-checking with FDR; B.1 Interacting with FDR; B.2 How FDR Checks Refinement; B.3 Machine readable CSP; Index of Processes. This volume provides an elementary introduction to Communicating Sequential Processes (CSP) and its use as a formal method for understanding concurrency. Examples and exercises are presented throughout to aid teaching and to help motivate students studying this difficult subject. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Bestandsnummer des Verkäufers 9780471623731

Titel
Concurrent and Real-time Systems (Paperback)
Autor
Steve Schneider
Verlag
John Wiley & Sons Inc, New York
Erscheinungsjahr
1999
Zustand
new
Einband
Paperback
Sprache
Englisch
ISBN-10
0471623733
ISBN-13
9780471623731
Auflage
1. Auflage

CitiRetail

Stevenage, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 29. Juni 2022

Versandkosten von Vereinigtes Königreich nach USA

Artikel7 bis 14 Werktage7 bis 60 Werktage
Erster ArtikelEUR 44,40EUR 44,40
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Shopbeschreibung

Online business

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

ABC BOOKS LIMITED

10 John Street
London, Vereinigtes Königreich WC1N 2EB