Formal Methods in Architecture and Urbanism Symposium Formal Methods in Architecture ( 2015 : Oporto, Portugal (Ciudad)) creator Viana, David Leite (edición) Morais, Franklim (edición) Vaz, Jorge Vieira (edición) text monographic ING 1 libro electrónico en línea (VIII, 397 p.) 1 recurso en línea 2020 BO Licenciatura en Desarrollo Inmobiliario Sustentable Symposium Formal Methods in Architecture ; ed. de D.L. Viana, F. Morais, J.V. Vaz. 1 licencia XX Lenguaje Hipermedial Lenguajes de Programación Lenguaje Matemático Lenguajes Formales - Tema Principal Urbanismo - Metodología - Tema Principal Arquitectura - Metodología - Tema Principal 720. 1 SYM 2015 978-1-5275-1457-7 Acervo ITESO - Biblioteca https://ezproxy.iteso.mx/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1856826 1 licencia 20251023000000.0 000418289