{"product_id":"introduction-to-the-formal-design-of-real-time-systems-9783540761402","title":"Introduction to the Formal Design of Real-Time Systems","description":"\u003cp\u003e • Author(s): David F. Gray\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Computer Architecture\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003ebut 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 SCCS designs. - The final section is the one which the students like best. Once enough of SCCS 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284114432151,"sku":"9783540761402","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540761402.webp?v=1769280223","url":"https:\/\/atlanticbooks.com\/products\/introduction-to-the-formal-design-of-real-time-systems-9783540761402","provider":"Atlantic Books","version":"1.0","type":"link"}