Title: Formal Methods in Architecture and Urbanism, Volume 2
Subjects: Architecture, Data processing, Formal methods (Computer science), Computer architecture, Ordinateurs, Méthodes formelles (Informatique), City & town planning, Architectural aspects, Computer science