Formal methods in architecture and urbanism - Viana, David Leite; Morais, Franklim; Vaz, Jorge Vieira (Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018)
Description based on metadata supplied by the publisher and other sources.
Electronic reproduction. Santa Fe, Arg.: elibro, 2022. Available via World Wide Web. Access may be limited to eLibro affiliated libraries.
Keywords: Architecture -- Data processing; Formal methods (Computer science); Electronic books