상세정보
Export to Refworks부가기능
Formal methods in architecture and urbanism [electronic resource]
상세 프로파일
| 자료유형 | 단행본 |
|---|---|
| 서명/저자사항 | Formal methods in architecture and urbanism/ edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz. [electronic resource]. |
| 개인저자 | Viana, David Leite,editor, Morais, Franklim,editor, Vaz, Jorge Vieira,editor, |
| 발행사항 | Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2018. |
| 형태사항 | 1 online resource (viii, 397 pages): illustrations, plans. |
| 기타형태 저록 | Print version: Formal methods in architecture and urbanism. Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 9781527507623 |
| ISBN | 9781527514577 1527514579 |
| 서지주기 | Includes bibliographical references. |
| 일반주제명 | Architecture --Data processing. Formal methods (Computer science) Architecture --Data processing. Formal methods (Computer science) ARCHITECTURE / Adaptive Reuse & Renovation ARCHITECTURE / Buildings / Landmarks & Monuments ARCHITECTURE / Professional Practice ARCHITECTURE / Reference |
| 언어 | 영어 |
| 바로가기 |  |
