LEADER 01972nam2 22003733i 450 001 MIL0138828 005 20231121125536.0 100 $a20030219d1980 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜3: Il œmarxismo nell'età della Terza Internazionale. 461 1$1001RAV0062967$12001 $aStoria del marxismo$f\progetto di Eric J. Hobsbawm ... \et al.!!$v3 463 1$1001MIL0138834$12001 $a˜3.2: œDalla crisi del '29 al 20. Congresso$v2 463 1$1001MIL0207054$12001 $a˜3.1: œDalla rivoluzione d'ottobre alla crisi del '29$v1 463 1$1001RML0306068$12001 $a˜3.1.: œDalla rivoluzione d'ottobre alla crisi del'29 463 1$1001RML0306069$12001 $a˜3.2.: œDalla crisi del'29 al 20. Congresso 676 $a335.40904$9$v21 801 3$aIT$bIT-01$c20030219 850 $aIT-RM0289 $aIT-RM0542 $aIT-RM1248 $aIT-FR0084 $aIT-RM0460 $aIT-RM1437 $aIT-FR0017 899 $aBiblioteca Statale A. Baldini$bRM0289 899 $aBIBLIOTECA DEL MINISTERO DEGLI AFFARI ESTERI$bRM0542 899 $aBiblioteca Della Fondazione Pietro Nenni$bRM1248 899 $aBiblioteca Del Monumento Nazionale Di Montecassino$bFR0084 899 $aBiblioteca Dell' Archivio Centrale Dello Stato$bRM0460 899 $aBiblioteca Fondazione Nevol Querci - ASIS -$bRM1437 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 912 $aMIL0138828 950 2$aBiblioteca umanistica Giorgio Aprea$d 52DES 335 Sto. Mar. 3.1$e 52BUN0000319295 VMB RS $fA $h20130215$i20130215$d 52DES 335 Sto. Mar. 3.2$e 52BUN0000319305 VMB RS $fA $h20130215$i20130215 967 $m4 977 $a 04$a 09$a 23$a 25$a 27$a 34$a 52 996 $aMarxismo nell'età della Terza Internazionale$9193798 997 $aUNICAS LEADER 04197nam 22007095 450 001 9910484171503321 005 20251225211018.0 010 $a3-319-60225-X 024 7 $a10.1007/978-3-319-60225-7 035 $a(CKB)4340000000061577 035 $a(DE-He213)978-3-319-60225-7 035 $a(MiAaPQ)EBC6295593 035 $a(MiAaPQ)EBC5578958 035 $a(Au-PeEL)EBL5578958 035 $a(OCoLC)990184990 035 $a(PPN)202990893 035 $a(EXLCZ)994340000000061577 100 $a20170527d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Techniques for Distributed Objects, Components, and Systems $e37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /$fedited by Ahmed Bouajjani, Alexandra Silva 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIV, 243 p. 50 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10321 311 08$a3-319-60224-1 327 $aSession types for Link failures -- Learning-based compositional parameter synthesis for event-recording automata -- Modularising opacity verification for Hybrid Transactional Memory -- Proving opacity via linearizability: a sound and complete method -- On futures for streaming data in ABS -- Session-based concurrency, reactively -- Procedural choreographic programming -- An observational approach to defining linearizability on weak memory models -- Applying a dependency mechanism in the formal development of voting protocol models using event-B -- Weak simulation quasimetric in a gossip scenario -- Reasoning about distributed secrets -- Classical higher-order processes -- Weak nominal modal logic -- Type inference of simulink hierarchical block diagrams in Isabelle -- Creating Büchi automata for multi-valued model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly consistent systems. 330 $aThis book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v10321 606 $aComputer science 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aMachine theory 606 $aComputer networks 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aComputer Communication Networks 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aComputer networks. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Communication Networks. 676 $a004.36 702 $aBouajjani$b Ahmed$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSilva$b Alexandra$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484171503321 996 $aFormal Techniques for Distributed Objects, Components, and Systems$92880511 997 $aUNINA