LEADER 01258nam  2200397   450 
001 9910480934903321
010   $a1-5275-1457-9
035   $a(CKB)4100000005599245
035   $a(MiAaPQ)EBC5477620
035   $a(EXLCZ)994100000005599245
100   $a20180905d2018      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aFormal methods in architecture and urbanism /$fedited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
210  1$aNewcastle upon Tyne, UK :$cCambridge Scholars Publishing,$d2018.
215   $a1 online resource (405 pages)
311   $a1-5275-0762-9 
606   $aArchitecture$xData processing
606   $aFormal methods (Computer science)
608   $aElectronic books.
615  0$aArchitecture$xData processing.
615  0$aFormal methods (Computer science)
676   $a720.28402855369
702   $aViana$b David Leite
702   $aMorais$b Franklim
702   $aVaz$b Jorge Vieira
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910480934903321
996   $aFormal methods in architecture and urbanism$91938727
997   $aUNINA