{"product_id":"9783540761402","title":"Applied Computing","description":"\u003ch1\u003eApplied Computing\u003c\/h1\u003e \u003ch2\u003eGray, David F.\u003c\/h2\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 \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1998-11-01\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540761402\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4471-0889-4\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 461\u003c\/p\u003e ","brand":"Springer London","offers":[{"title":"Default Title","offer_id":44358554583180,"sku":"9783540761402","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540761402.jpg?v=1775760026","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540761402","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}