{ "item_title" : "Introduction to the Formal Design of Real-Time Systems", "item_author" : [" David F. Gray "], "item_description" : "While the technology to build complex computer-based systems now exists, it is not always necessarily advisable to build them. To use design tools effectively, engineers need to have a full understanding not only of the capabilities of their tools, but why they work and when their use is appropriate. Richly illustrated with many examples and problem-solving exercises, this book looks at two process algebras, one as a design tool for concurrent systems, and one for real-time systems.", "item_img_path" : "https://covers3.booksamillion.com/covers/bam/3/54/076/140/3540761403_b.jpg", "price_data" : { "retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.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