Formal methods in architecture and urbanism
By: edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
Publisher: Cambridge Scholars Publishing
Published: 2018
Place of publication: Newcastle upon Tyne
Language: eng
Number of pages: 397
ISBN-13: 9781527507623
Subjects: Architecture; Data processing; Formal methods (Computer science)
Notes: Includes bibliographical references.