Formal methods in architecture and urbanism. (2018)

• Record Type: Book
• Further Information: Note: Edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.
• Editors: Viana, David Leite; Morais, Franklim; Vaz, Jorge Vieira
• Publisher Details: Newcastle upon Tyne, UK : Cambridge Scholars Publishing
• Publication Date: 2018
• Extent: 1 online resource (viii, 397 pages), illustrations, plans
• Subjects: 720.285; Architecture; Architecture -- Data processing; Formal methods (Computer science); ARCHITECTURE / Adaptive Reuse & Renovation; ARCHITECTURE / Buildings / Landmarks & Monuments; ARCHITECTURE / Professional Practice; ARCHITECTURE / Reference; Regional & area planning; Technology: general issues; Architecture -- Data processing; Formal methods (Computer science); Electronic books
• Languages: English
• ISBNs: 9781527514577; 1527514579
• Related ISBNs: 9781527507623; 1527507629
• Notes: Note: Includes bibliographical references.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.