Specification and Analysis of Concurrent Systems
The COSY Approach, Monographs in Theoretical Computer Science. An EATCS Series
Janicki, Ryszard/Lauer, Peter E
€106.99
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Zusatztext
The COSY formalism facilitates the abstraction of synchronizational aspects of concurrent and reactive systems, and their analysis. The COSY theory is developed in detail and proofs of major results are given in full. Applications of COSY to practical problems are given.
Weitere Details
Erschienen: 29.12.2011
Umfang: xii, 480 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642773396
Umbreit-Nr.: 4380914
