01818nam0 22003733i 450 CFI020578220251003044134.0881401789120130827d1989 ||||0itac50 baitaitz01i xxxe z01nˆL'‰assicurazione contro gli infortuni sul lavoro e le malattie professionali nella giurisprudenzaFernando Di CerboMilanoA. Giuffrè1989VII, 340 p.25 cm.Raccolta sistematica di giurisprudenza commentata. Nuova serie11001CFI00422892001 Raccolta sistematica di giurisprudenza commentata. Nuova serie11Assicurazioni malattie del lavoroGiurisprudenzaFIRCFIC046131IAssicurazioni infortuni sul lavoroGiurisprudenzaFIRCFIC060223I344LEGISLAZIONE SOCIALE12344.45021DIRITTO DELLE ASSICURAZIONI CONTRO GLI INFORTUNI SUL LAVORO. ITALIA19344.45021DIRITTO DELLE ASSICURAZIONI CONTRO GLI INFORTUNI SUL LAVORO. ITALIA21Di Cerbo, FernandoCFIV001851070229816Di Cerbo, FerdinandoCFIV026282Di Cerbo, FernandoITIT-00000020130827IT-BN0095 IT-NA0438 NAP 01D $NAP BDSALA D Comprende monografie, per lo più codici giuridici e operre enciclopediche CFI0205782Biblioteca Centralizzata di Ateneo 01D (AR) 9 688 01AR 0070096885 VMA 1 v.Y 2016030320160303 01 BDAssicurazione contro gli infortuni sul lavoro e le malattie professionali nella giurisprudenza63139UNISANNIO03308nam 22007335 450 991034942980332120251225202210.09783319912714331991271210.1007/978-3-319-91271-4(CKB)3850000000031363(DE-He213)978-3-319-91271-4(MiAaPQ)EBC6295681(PPN)227403401(EXLCZ)99385000000003136320180507d2018 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierAbstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings /edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XIV, 432 p. 83 illus.)Theoretical Computer Science and General Issues,2512-2029 ;108179783319912707 3319912704 Includes bibliographical references and index. Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers.This 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.Theoretical Computer Science and General Issues,2512-2029 ;10817Machine theoryAlgorithmsComputer scienceCompilers (Computer programs)Artificial intelligenceFormal Languages and Automata TheoryAlgorithmsComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersArtificial IntelligenceMachine theory.Algorithms.Computer science.Compilers (Computer programs).Artificial intelligence.Formal Languages and Automata Theory.Algorithms.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Artificial Intelligence.006.31Butler Michael1967-edthttp://id.loc.gov/vocabulary/relators/edtRaschke Alexanderedthttp://id.loc.gov/vocabulary/relators/edtHoàng Thái Sơnedthttp://id.loc.gov/vocabulary/relators/edtReichl Klausedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349429803321Abstract State Machines, Alloy, B, TLA, VDM, and Z2026686UNINA