Specification and Analysis of Concurrent Systems

Printed Book
SR 686
Inclusive of VAT
Sold as: EACH
SR41Per Month/24 months
Author:Janicki, Ryszard
Date of Publication: 2011
Book classification:Computer & Technology,English Books
No. of pages:502 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR686
Incl. VAT

Choose your delivery preference

Or

About this Product

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.
Show more

Specifications

SKU9783642773396
Manufacturer Number9783642773396
year published2011
Show more

Report an issue with this product.

Customer Reviews