01605nam0 22003493i 450 VAN0024045920241206112513.372N978303057509020220215d2021 |0itac50 baengCH|||| |||||i e bFormal Methods in ArchitectureProceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020editors Sara Eloy ... [et al.]ChamSpringer2021XXXII, 313 p.ill.24 cm001VAN002367602001 Advances in Science, Technology & Innovation210 ChamSpringer2018-CHChamVANL001889711Urbanistica (Pianificazione territoriale)22712Architettura del paesaggio22624Ingegneria civile22EloySaraVANV197018Springer <editore>VANV108073650ITSOL20241213RICAhttps://link.springer.com/book/10.1007/978-3-030-57509-0E-book - Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHEIT-CE0101VAN17NVAN00240459BIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17CONS e-book 2224 17BIB2224/147 147 20220215 Formal Methods in Architecture2595591UNICAMPANIA