eBook.de : Ihr Online Shop für eBooks, Reader, Downloads und Bücher
+49 (0)40 4223 6096
PORTO-
FREI

Concurrent and Real-Time Systems

The CSP Approach.
von Schneider
Lieferbar innerhalb von drei Wochen
Buch (kartoniert)
Buch (kartoniert) € 116,49* inkl. MwSt.
Portofrei*

Produktdetails

Titel: Concurrent and Real-Time Systems
Autor/en: Schneider

ISBN: 0471623733
EAN: 9780471623731
The CSP Approach.
Paperback.
Sprache: Englisch.
John Wiley & Sons, Inc.

5. November 1999 - kartoniert - 528 Seiten

  • Empfehlen
Bisher gibt es relativ wenig Bücher, die sich auf einführendem Niveau mit CSP (Communicating Sequential Processes), einer Theorie parallel laufender Systeme ("concurrent systems"), beschäftigen. Dieses Werk füllt eine Lücke; es ist das einzige gegenwärtig verfügbare Lehrbuch, an dem sich Dozenten orientieren können, die die Theorie solcher Systeme in vollem Umfang behandeln möchten. Eine ausgezeichnete Auswahl von Beispielen und Übungen motiviert die Studenten, sich näher mit diesem schwierigen Fachgebiet zu beschäftigen. (10/99)

THE LANGUAGE OF CSP.

Sequential Processes.

Concurrency.

Abstraction and Control Flow.

ANALYSING PROCESSES.

Traces.

Specification and Verification with Traces.

Stable Failures.

Specification and Verification with Failures.

Failures, Divergences, and Infinite Traces.

INTRODUCING TIME.

The Timed Language.

Timed Transition Systems.

TIMED ANALYSIS.

Semantics of Timed CSP.

Timed Specification and Verification.

Timewise Refinement.

Appendices.

References.

Notation.

Indexes.
Kundenbewertungen zu Schneider „Concurrent and Real-Time Systems“
Noch keine Bewertungen vorhanden
Zur Rangliste der Rezensenten
Veröffentlichen Sie Ihre Kundenbewertung:
Kundenbewertung schreiben
Entdecken Sie mehr
Unsere Leistungen auf einen Klick
Unser Service für Sie
Zahlungsmethoden
Bequem, einfach und sicher mit eBook.de. mehr Infos akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal mehr Infos
Geprüfte Qualität
  • Schnelle Downloads
  • Datenschutz
  • Sichere Zahlung
  • SSL-Verschlüsselung
Servicehotline
+49 (0)40 4223 6096
Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 18.00 Uhr
Chat
Ihre E-Mail-Adresse eintragen und kostenlos informiert werden:
2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

3 Durch Öffnen der Leseprobe willigen Sie ein, dass Daten an den Anbieter der Leseprobe übermittelt werden.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier

eBook.de - Meine Bücher immer dabei
eBook.de ist eine Marke der Hugendubel Digital GmbH & Co. KG
Folgen Sie uns unter: