{"product_id":"foundations-of-software-science-and-computation-structures-7th-international-conference-fossacs-2004-held-as-part-of-the-joint-european-conferences-9783540212980","title":"Foundations of Software Science and Computation Structures: 7th International Conference, Fossacs 2004, Held as Part of the Joint European Conferences","description":"\u003cp\u003e • Author(s): Igor Walukiewicz\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic Design\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues inv- ved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284365140119,"sku":"9783540212980","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540212980.webp?v=1769280955","url":"https:\/\/atlanticbooks.com\/products\/foundations-of-software-science-and-computation-structures-7th-international-conference-fossacs-2004-held-as-part-of-the-joint-european-conferences-9783540212980","provider":"Atlantic Books","version":"1.0","type":"link"}