Specification and Analysis of Concurrent Systems: The COSY Approach (Monographs in Theoretical Computer Science. An EATCS Series) - Image 1

£77.59

Springer Specification and Analysis of Concurrent Systems: The COSY Approach (Monographs in Theoretical Computer Science. An EATCS Series)

Name: https://tosheroon.com/uk/B007926HVS
Brand: Springer
Price: 81.37 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 22 days • 22 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 22 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £81 (21 days, 95.5%)

Price range: £78 - £81

Price levels: 2 different prices over 22 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642773397
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 29 December 2011
Listed Since: 12 July 2012

Barcode

No barcode data available