{"product_id":"introduction-to-the-formal-design-of-real-time-systems-book-david-f-gray-9783540761402","title":"Introduction to the Formal Design of Real-Time Systems","description":"but when we state that A 'equals' B, as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ- er see different things as being equal, and how we can produce algo- rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCS designs. - The final section is the one which the students like best. Once enough of SCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check- ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path- ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49565771825425,"sku":"GOR006619648","price":10.0,"currency_code":"USD","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52618400235793,"sku":"NLS9783540761402","price":71.29,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540761403.jpg?v=1754266757","url":"https:\/\/www.worldofbooks.com\/products\/introduction-to-the-formal-design-of-real-time-systems-book-david-f-gray-9783540761402","provider":"World of Books ","version":"1.0","type":"link"}