.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Specification and Analysis of Concurrent Systems
Janicki, Ryszard; Lauer, Peter E.
€ 130.34
FREE Delivery in Ireland
Description for Specification and Analysis of Concurrent Systems
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 492 pages, biography. BIC Classification: UKN; UL; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 26. Weight in Grams: 846.
Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the last decade as one of a number of mathematical approaches for conceptualizing and analyzing concurrent and reactive systems. The COSY approach extends theconventional notions of grammar and automaton from formal language and automata theory to collections of "synchronized" grammars and automata, ... Read more
Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the last decade as one of a number of mathematical approaches for conceptualizing and analyzing concurrent and reactive systems. The COSY approach extends theconventional notions of grammar and automaton from formal language and automata theory to collections of "synchronized" grammars and automata, ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
492
Condition
New
Series
Monographs in Theoretical Computer Science : An Eatcs Series
Number of Pages
480
Place of Publication
Berlin, Germany
ISBN
9783642773396
SKU
V9783642773396
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Specification and Analysis of Concurrent Systems