MARC보기
LDR00000nam u2200205Ki 4500
001000000430817
00520200123110624
007cr cnu---unuuu
008180730s2018 enkae ob 000 0 eng d
020 ▼a 9781527514577 ▼q (electronic bk.)
020 ▼a 1527514579 ▼q (electronic bk.)
020 ▼z 9781527507623
020 ▼z 1527507629
035 ▼a 1856826 ▼b (N$T)
035 ▼a (OCoLC)1046634263
040 ▼a N$T ▼b eng ▼e rda ▼e pn ▼c N$T ▼d 247004
050 4 ▼a NA2728 ▼b .F67 2018eb
072 7 ▼a ARC ▼x 022000 ▼2 bisacsh
072 7 ▼a ARC ▼x 024010 ▼2 bisacsh
072 7 ▼a ARC ▼x 015000 ▼2 bisacsh
072 7 ▼a ARC ▼x 012000 ▼2 bisacsh
08204 ▼a 720.285 ▼2 23
24500 ▼a Formal methods in architecture and urbanism/ ▼c edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz. ▼h [electronic resource].
260 1 ▼a Newcastle upon Tyne, UK: ▼b Cambridge Scholars Publishing, ▼c 2018.
300 ▼a 1 online resource (viii, 397 pages): ▼b illustrations, plans.
336 ▼a text ▼b txt ▼2 rdacontent
337 ▼a computer ▼b c ▼2 rdamedia
338 ▼a online resource ▼b cr ▼2 rdacarrier
504 ▼a Includes bibliographical references.
5880 ▼a Print version record.
590 ▼a Added to collection customer.56279.3
650 0 ▼a Architecture ▼x Data processing.
650 0 ▼a Formal methods (Computer science)
650 7 ▼a Architecture ▼x Data processing. ▼2 fast ▼0 (OCoLC)fst00813401
650 7 ▼a Formal methods (Computer science) ▼2 fast ▼0 (OCoLC)fst00932926
650 7 ▼a ARCHITECTURE / Adaptive Reuse & Renovation ▼2 bisacsh
650 7 ▼a ARCHITECTURE / Buildings / Landmarks & Monuments ▼2 bisacsh
650 7 ▼a ARCHITECTURE / Professional Practice ▼2 bisacsh
650 7 ▼a ARCHITECTURE / Reference ▼2 bisacsh
655 4 ▼a Electronic books.
7001 ▼a Viana, David Leite, ▼e editor,
7001 ▼a Morais, Franklim, ▼e editor,
7001 ▼a Vaz, Jorge Vieira, ▼e editor,
77608 ▼i Print version: ▼t Formal methods in architecture and urbanism. ▼d Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 ▼z 9781527507623 ▼w (OCoLC)1028209370
85640 ▼3 EBSCOhost ▼u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1856826
938 ▼a EBSCOhost ▼b EBSC ▼n 1856826
990 ▼a ***1008102
991 ▼a E-BOOK
994 ▼a 92 ▼b N$T