This work is a review of the description and verification of concurrent systems. It contains a mixture of theory and practical applications.
"synopsis" may belong to another edition of this title.
Seller: StainesBook, Weybridge, SURRE, United Kingdom
Condition: New. Seller Inventory # SpeedList-SL6444
Quantity: 1 available