{ "item_title" : "Specification and Analysis of Concurrent Systems", "item_author" : [" Ryszard Janicki", "Peter E. Lauer "], "item_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.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/64/277/339/3642773397_b.jpg", "price_data" : { "retail_price" : "109.99", "online_price" : "109.99", "our_price" : "109.99", "club_price" : "109.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details