Understanding Concurrent Systems

111.11 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10379964

Beschreibung

Part I: A Foundation Course in CSPBuilding a Simple Sequential ProcessUnderstanding CSPParallel OperatorsCSP Case StudiesHiding and RenamingBeyond TracesFurther OperatorsUsing FDRPart II: TheoryOperational SemanticsDenotational Semantics and Behavioural ModelsFinite Observation ModelsInfinite-behaviour ModelsThe Algebra of CSPPart III: Using CSPTimed Systems 1: tock-CSPTimed Systems 2: Discrete Timed CSPMore About FDRState Explosion and Parameterised VerificationPart IV: Exploring ConcurrencyShared-variable ProgramsUnderstanding Shared-variable ConcurrencyPriority and Mobility

Eigenschaften

Breite:	163
Gewicht:	942 g
Länge:	35
Seiten:	530
Sprachen:	Englisch
Autor:	A.W. Roscoe

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.