LEADER 01561nam0 22003253i 450 
001 VAN00240459
005 20240806101350.929
017 70$2N$a9783030575090
100   $a20220215d2021       |0itac50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $aFormal Methods in Architecture$eProceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020$feditors Sara Eloy ... [et al.]
210   $aCham$cSpringer$d2021
215   $aXXXII, 313 p.$cill.$d24 cm
410  1$1001VAN00236760$12001 $aAdvances in Science, Technology & Innovation$1210  $aCham$cSpringer$d2018-
620   $aCH$dCham$3VANL001889
676   $a711$cUrbanistica (Pianificazione territoriale)$v22
676   $a712$cArchitettura del paesaggio$v22
676   $a624$cIngegneria civile$v22
702  1$aEloy$bSara$3VANV197018
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240906$gRICA
856 4 $uhttps://link.springer.com/book/10.1007/978-3-030-57509-0$zE-book - Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth
899   $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$1IT-CE0101$2VAN17
912   $fN
912   $aVAN00240459
950   $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$d17CONS      e-book                  2224        $e17BIB2224/147  147     20220215            
996   $aFormal Methods in Architecture$92595591
997   $aUNICAMPANIA