Concurrency Theory
Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
€160.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Zusatztext
The field of concurrency theory is becoming increasingly important, with the problem of formally verifying concurrent distributed systems a critical consideration and a major topic for the software industries. This book, with its extensive applications of the techniques involved in the field of concurrency theory, is the first to adopt this new approach.
Weitere Details
Erschienen: 21.12.2005
Umfang: xx, 422 S., 126 s/w Illustr., 422 p. 126 illus.
Sprache: ENG
Einband: GEB
Format: 2.5 x 24.6 x 16.2 cm
ISBN/EAN: 9781852338954
Umbreit-Nr.: 1446289
