{"product_id":"advances-in-formal-design-methods-for-cad-proceedings-of-the-ifip-wg52-workshop-on-formal-design-methods-for-computer-aided-design-june-1995-ifip-in-information-and-communication-technology-0412727102","title":"Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0412727102\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Riitahuhta, Asko\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eDesigning is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51859024511264,"sku":"NEW0412727102","price":166.3,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/61bCCao8l1L.jpg?v=1781585794","url":"https:\/\/miakarts.com\/products\/advances-in-formal-design-methods-for-cad-proceedings-of-the-ifip-wg52-workshop-on-formal-design-methods-for-computer-aided-design-june-1995-ifip-in-information-and-communication-technology-0412727102","provider":"Miakarts Books","version":"1.0","type":"link"}