{"product_id":"advances-in-formal-design-methods-for-cad-proceedings-of-the-ifip-wg5-2-workshop-on-formal-design-methods-for-computer-aided-design-june-1995-von-asko-riitahuhta-fay-sudweeks-hrsg","title":"Advances in Formal Design Methods for CAD","description":"Designing 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781475744286\"\u003e\u003ch3\u003eProceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9781475744286","offer_id":39415215751261,"sku":"9781475744286","price":213.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/fe654447-cb44-46a9-9aca-7cd37e0ec27e.jpg?v=1782533352","url":"https:\/\/shop.autorenwelt.de\/products\/advances-in-formal-design-methods-for-cad-proceedings-of-the-ifip-wg5-2-workshop-on-formal-design-methods-for-computer-aided-design-june-1995-von-asko-riitahuhta-fay-sudweeks-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}