01618nam 2200469 450 99648566710331620230114050204.03-031-15077-5(MiAaPQ)EBC7076813(Au-PeEL)EBL7076813(CKB)24735739200041(PPN)264191447(EXLCZ)992473573920004120230114d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierModel checking software 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, proceedings /Owolabi Legunsen and Grigore Rosu, editorsCham, Switzerland :Springer Nature Switzerland AG,[2022]©20221 online resource (161 pages)Lecture notes in computer science ;13255Print version: Legunsen, Owolabi Model Checking Software Cham : Springer International Publishing AG,c2022 9783031150760 Lecture notes in computer science ;13255.Computer softwareVerificationCongressesSpin (Computer program language)Computer simulationComputer softwareVerificationSpin (Computer program language)Computer simulation.003.3Roşu GrigoreLegunsen OwolabiMiAaPQMiAaPQMiAaPQBOOK996485667103316Model Checking Software771961UNISA02293nam0 22004453i 450 RAV010881220251003044324.0IT81-8695 20010710d1981 ||||0itac50 baitaitz01i xxxe z01nz01ncRDAcarrierLibri bianchi sulla condizione operaia negli anni Cinquantauna ricerca promossa dal Centro ricerche e studi sindacali della FIOM-CGIL di Milanoa cura di Vittorio Rieser e Luigi GanapiniBariDe Donato[1981]XXXIX, 284 p.21 cm.Lavoratori metalmeccaniciOrganizzazione sindacaleMilano1954-1958FIRSBLC010930I331.1109450925FORZE DI LAVORO. Italia. 1950-195922331.212331.209 4520331.88SINDACATI20331.88SINDACATI21331.880945SINDACATI. Italia20331.880945SINDACATI. Italia23331.88171094521SINDACATI NELLE INDUSTRIE MANIFATTURIERE. MANIFATTURE METALLICHE. MILANO (PROVINCIA)19331.88171094521SINDACATI DI INDUSTRIE E PROFESSIONI DEI SETTORI PRIMARIO, MANIFATTURIERO, DELLE COSTRUZIONI. LAVORAZIONE DEI METALLI E DEI PRODOTTI METALLICI PRIMARI. Milano21LavoratoriIndustria metalmeccanicaLavoratori metalmeccaniciLavoratoriIndustria metalmeccanicaGanapini, LuigiCFIV010983Rieser, VittorioCFIV031239ITIT-00000020010710IT-BN0095 IT-SA0002 IT-NA0230 NAP AESC. POL. $NAP 01POZZO LIB.Vi 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. RAV0108812Biblioteca Centralizzata di Ateneo1 v. 01POZZO LIB.F. SANTI 251 0101 0060032285E VMA 1 v. ( Precedente collocazione S 260)B 2022110920221109 01 AE IRLibri bianchi sulla condizione operaia negli anni Cinquanta2961512UNISANNIO03156oas 2201105 a 450 991014100250332120251105213014.00973-7707(OCoLC)56944168(CONSER) 2012263120(CKB)2670000000081680(EXLCZ)99267000000008168020041110a19939999 uy engur|||||||||||txtrdacontentcrdamediacrrdacarrierIndian journal of otolaryngology and head and neck surgery[Calcutta] [B.K. Roy Chaudhuri][1993]-Bangalore Springer IndiaRefereed/Peer-reviewed2231-3796 Indian J Otolaryngol Head Neck SurgIJO & HNSIJOHNSIndian j. otolaryngol. head neck surg.HeadSurgeryIndiaPeriodicalsHeadTumorsIndiaPeriodicalsNeckSurgeryIndiaPeriodicalsNeckTumorsIndiaPeriodicalsOtolaryngologyIndiaPeriodicalsHeadsurgeryHead and Neck NeoplasmsNecksurgeryOtorhinolaryngologic DiseasesHeadSurgeryfast(OCoLC)fst00952605HeadTumorsfast(OCoLC)fst00952608NeckSurgeryfast(OCoLC)fst01035361NeckTumorsfast(OCoLC)fst01035364Otolaryngologyfast(OCoLC)fst01048946Otorrinolaringologia quirúrgicathubOtorrinolaringologiathubIndiafasthttps://id.oclc.org/worldcat/entity/E39PBJmdx47cDXrRhBXHtbvPwCPeriodicals.fastPeriodicals.lcgftRevistes electròniques.thubHeadSurgeryHeadTumorsNeckSurgeryNeckTumorsOtolaryngologyHeadsurgery.Head and Neck Neoplasms.Necksurgery.Otorhinolaryngologic Diseases.HeadSurgery.HeadTumors.NeckSurgery.NeckTumors.Otolaryngology.Otorrinolaringologia quirúrgica.Otorrinolaringologia.Association of Otorhinolaryngologists of India,EYMEYMOCLCQCITVRCNZAUCOCLCQMYGOCLCQTXAOCLCQOCLCFVT2OCLCQBUFOCLCANJTOCLCOIULOCLCAUBYOCLCQIOYOCLCLSXBOCLCLOCLCQJOURNAL9910141002503321Indian journal of otolaryngology and head and neck surgery1976094UNINA