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: StainesBookhub, Weybridge, SURRE, United Kingdom
Condition: New. Seller Inventory # SpeedList-SL6444
Quantity: 1 available
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Condition: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. Seller Inventory # BSM.1FFYF