001369443 000__ 01701nam\a2200433\i\4500
001369443 001__ 1369443
001369443 003__ MiAaPQ
001369443 005__ 20210807004018.0
001369443 006__ m\\\\\o\\d\\\\\\\\
001369443 007__ cr\cn\nnnunnun
001369443 008__ 180905s2018\\\\enk\\\\\o\\\\\000\0\eng\d
001369443 020__ $$z9781527507623
001369443 020__ $$a9781527514577 (e-book)
001369443 035__ $$a(MiAaPQ)EBC5477620
001369443 035__ $$a(Au-PeEL)EBL5477620
001369443 035__ $$a(OCoLC)1046634263
001369443 040__ $$aMiAaPQ$$beng$$erda$$epn$$cMiAaPQ$$dMiAaPQ
001369443 050_4 $$aNA2728$$b.F676 2018
001369443 0820_ $$a720.28402855369$$223
001369443 24500 $$aFormal methods in architecture and urbanism /$$cedited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.
001369443 264_1 $$aNewcastle upon Tyne, UK :$$bCambridge Scholars Publishing,$$c2018.
001369443 300__ $$a1 online resource (405 pages)
001369443 336__ $$atext$$btxt$$2rdacontent
001369443 337__ $$acomputer$$bc$$2rdamedia
001369443 338__ $$aonline resource$$bcr$$2rdacarrier
001369443 506__ $$aAccess limited to authorized users.
001369443 588__ $$aDescription based on print version record.
001369443 650_0 $$aArchitecture$$xData processing.
001369443 650_0 $$aFormal methods (Computer science)
001369443 655_0 $$aElectronic books
001369443 7001_ $$aViana, David Leite,$$eeditor.
001369443 7001_ $$aMorais, Franklim,$$eeditor.
001369443 7001_ $$aVaz, Jorge Vieira,$$eeditor.
001369443 77608 $$iPrint version:$$tFormal methods in architecture and urbanism.$$dNewcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 $$z9781527507623
001369443 852__ $$bebk
001369443 85640 $$3ProQuest Ebook Central Academic Complete $$uhttps://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=5477620$$zOnline Access
001369443 909CO $$ooai:library.usi.edu:1369443$$pGLOBAL_SET
001369443 980__ $$aBIB
001369443 980__ $$aEBOOK
001369443 982__ $$aEbook
001369443 983__ $$aOnline