LEADER 00864nam0-22002531i-450 001 990003771670403321 005 20221107143957.0 035 $a000377167 035 $aFED01000377167 035 $a(Aleph)000377167FED01 035 $a000377167 100 $a20001010d1982----km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aResearch Working Group on Household Structures, Labor Formation and the Wolrd-Economy$ePapers of F. BraudelCenter, New York at Binghamton, State Un., 1982 210 $aNew York$cBinghamton State Un.$d1982. 215 $ap. 437 700 1$aWallerstein,$bImmanuel$f<1930- >$0119702 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003771670403321 996 $aResearch Working Group on Household Structures, Labor Formation and the Wolrd-Economy$9510782 997 $aUNINA DB $aING01 LEADER 01747nam0 22003493i 450 001 MOL0224294 005 20251003044242.0 010 $a9788874314713 100 $a20220824d2009 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aRapporto 2009$eimpresa e competitività$efattori di crescita e di trasformazione dei sistemi produttivi delle regioni meridionali$f[a cura di] SRM, Studi e ricerche per il Mezzogiorno [e] Osservatorio regionale banche-imprese di economia e finanza 210 $aNapoli$cGiannini$d[2009] 215 $a288 p.$d24 cm$e1 CD-ROM. 606 $aImprese$xCompetitività$xItalia meridionale$2FIR$3NAPC327273$9I 676 $a338.45$9INDUSTRIE SECONDARIE E SERVIZI. EFFICIENZA PRODUTTIVA$v23 712 02$aOsservatorio regionale banche-imprese di economia e finanza$3BASV063544 712 02$aSRM$3CFIV216235 791 02$aStudi e ricerche per il Mezzogiorno$c $3CFIV216236$zSRM 791 02$aAssociazione Studi e ricerche per il Mezzogiorno$3CFIV236479$zSRM 801 3$aIT$bIT-000000$c20220824 850 $aIT-BN0095 $aIT-NA0079 901 $bNAP BN$cMAGAZZINO $nmagazzini correnti divisi per anni 901 $bNAP 01$cPOZZO LIB.$nVi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. 912 $aMOL0224294 950 0$aBiblioteca Centralizzata di Ateneo$d 01POZZO LIB.F. CORTI 383$e 01 0000120305E VMA 1 v.$fB $h20230713$i20230911 977 $a 01$a BN 996 $aRapporto 2009$958349 997 $aUNISANNIO LEADER 03308nam 22007335 450 001 9910349429803321 005 20251225202210.0 010 $a9783319912714 010 $a3319912712 024 7 $a10.1007/978-3-319-91271-4 035 $a(CKB)3850000000031363 035 $a(DE-He213)978-3-319-91271-4 035 $a(MiAaPQ)EBC6295681 035 $a(PPN)227403401 035 $a(EXLCZ)993850000000031363 100 $a20180507d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAbstract State Machines, Alloy, B, TLA, VDM, and Z $e6th International Conference, ABZ 2018, Southampton, UK, June 5?8, 2018, Proceedings /$fedited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XIV, 432 p. 83 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10817 311 08$a9783319912707 311 08$a3319912704 320 $aIncludes bibliographical references and index. 327 $a Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. 330 $aThis book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10817 606 $aMachine theory 606 $aAlgorithms 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aArtificial intelligence 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aArtificial Intelligence 615 0$aMachine theory. 615 0$aAlgorithms. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aArtificial intelligence. 615 14$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aArtificial Intelligence. 676 $a006.31 702 $aButler$b Michael$f1967-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRaschke$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHoa?ng$b Tha?i S?n$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aReichl$b Klaus$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349429803321 996 $aAbstract State Machines, Alloy, B, TLA, VDM, and Z$92026686 997 $aUNINA