TY  - GEN
T1  - Formal methods in architecture and urbanism
A2  - Viana, David Leite,
A2  - Morais, Franklim,
A2  - Vaz, Jorge Vieira,
LA  - English
PP  - Newcastle upon Tyne, UK
PB  - Cambridge Scholars Publishing
YR  - 2018
UL  - https://colectivo.uloyola.es/Record/ELB152091
OP  - 405
CN  - NA2728 .F676 2018
SN  - 9781527514577 (e-book)
KW  - Architecture : Data processing.
KW  - Formal methods (Computer science)
KW  - Electronic books.
ER  -