자료유형 | E-Book |
---|---|
개인저자 | Viana, David Leite, editor. Morais, Franklim, editor. Vaz, Jorge Vieira, editor. |
서명/저자사항 | Formal methods in architecture and urbanism /edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.[electronic resource] |
발행사항 | Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018. |
형태사항 | 1 online resource (viii, 397 pages) : illustrations, plans. |
소장본 주기 | Added to collection customer.56279.3 |
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 |
언어 | 영어 |
기타형태 저록 | Print version:Formal methods in architecture and urbanism.Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 20189781527507623 |
대출바로가기 | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1856826 |
인쇄
No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
---|---|---|---|---|---|---|---|---|
1 | WE00015131 | 720.285 | 가야대학교/전자책서버(컴퓨터서버)/ | 대출가능 |