Holdings: Formal methods in architecture and urbanism /

Bibliographic Details
Other Authors:	Viana, David Leite,, Morais, Franklim,, Vaz, Jorge Vieira,
Format:	eBook
Language:	English
Published:	Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018.
Subjects:	Architecture > Data processing. Formal methods (Computer science) Electronic books.
Online Access:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=152091