01258nam 2200397 450 99104809349033211-5275-1457-9(CKB)4100000005599245(MiAaPQ)EBC5477620(EXLCZ)99410000000559924520180905d2018 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal methods in architecture and urbanism /edited by David Leite Viana, Franklim Morais and Jorge Vieira VazNewcastle upon Tyne, UK :Cambridge Scholars Publishing,2018.1 online resource (405 pages)1-5275-0762-9 ArchitectureData processingFormal methods (Computer science)Electronic books.ArchitectureData processing.Formal methods (Computer science)720.28402855369Viana David LeiteMorais FranklimVaz Jorge VieiraMiAaPQMiAaPQMiAaPQBOOK9910480934903321Formal methods in architecture and urbanism1938727UNINA