Información del autor
Autor Viana, David Leite |
Documentos disponibles escritos por este autor (1)



Formal Methods in Architecture and Urbanism / Viana, David Leite ; Morais, Franklim ; Vaz, Jorge Vieira
![]()
TÃtulo : Formal Methods in Architecture and Urbanism Tipo de documento: documento electrónico Autores: Viana, David Leite, ; Morais, Franklim, ; Vaz, Jorge Vieira, Editorial: Cambridge Scholars Publishing Fecha de publicación: 2018 Número de páginas: 1 online resource (405 pages) ISBN/ISSN/DL: 9781527514577 Palabras clave: Architecture Data processing. Formal methods (Computer science) Clasificación: 720.28402855369 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/152091 Formal Methods in Architecture and Urbanism [documento electrónico] / Viana, David Leite, ; Morais, Franklim, ; Vaz, Jorge Vieira, . - Cambridge Scholars Publishing, 2018 . - 1 online resource (405 pages).
ISBN : 9781527514577
Palabras clave: Architecture Data processing. Formal methods (Computer science) Clasificación: 720.28402855369 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/152091