{"product_id":"formal-methods-in-architecture-and-david-leite-viana-9781527507623","title":"Formal Methods in Architecture and Urbanism","description":"The book promotes the use of formal methods in the creation of new explicit languages for problem solving in architecture and urbanism. Formal methods bring advantages to human actions and involve the use of theoretically driven techniques, expressed in languages stemmed from mathematics. Formalization seeks to guarantee that solutions for daily problems are produced in a manner that ensures their greatest possible adequacy and the least test time in direct confrontation with reality. This book contributes to the progress of formalization in architectural methodologies by finding points of convergence between state of the art research on ontologies in architecture, BIM\/VDC, CAD\/CAM, cellular automata, GIS, parametric processes, processing and space syntax presented within the 3rd Symposium of Formal Methods in Architecture. The contents reach from millennial geometry to current shape grammars, engaging several formal approaches to architecture and urbanism, with different points of view, fields of application, grades of abstraction and formalization.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e David Leite Viana\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1527507629\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781527507623\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Cambridge Scholars Publishing\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 03\/14\/2018\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 405\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.35lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 8.20h x 5.90w x 1.10d","brand":"David Leite Viana","offers":[{"title":"Hardcover","offer_id":48518798672127,"sku":"9781527507623","price":99.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_828be606-b85b-4aec-9840-b235378f6797.jpg?v=1778735692","url":"https:\/\/www.whiterainbookhouse.com\/products\/formal-methods-in-architecture-and-david-leite-viana-9781527507623","provider":"WR Book House","version":"1.0","type":"link"}