{"product_id":"9783540199021","title":"Formal Approaches to Computing and Information Technology (FACIT)","description":"\u003ch1\u003eFormal Approaches to Computing and Information Technology (FACIT)\u003c\/h1\u003e \u003ch2\u003eFeijs, Loe M.G.; Jonkers, Hans B.M.; Middelburg, Cornelis A.\u003c\/h2\u003e \u003cp\u003e\u003cb\u003eNotations for Software Design\u003c\/b\u003e aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. \u003cbr\u003eIt examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact that it is a wide-spectrum language which supports many styles of specification makes it an excellent basis for the volume. It also examines some widely-used informal techniques, such as Venn diagrams and Petri nets, thus creating a strong link between current and future practice. Rather than proposing new pictorial notations the authors place existing ones into a coherent framework, and explain practical ways of exploiting them in conjunction with COLD-1.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1994-10-19\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540199021\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4471-2107-7\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 425\u003c\/p\u003e ","brand":"Springer London","offers":[{"title":"Default Title","offer_id":44398702035084,"sku":"9783540199021","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540199021.jpg?v=1775760015","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540199021","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}