01551nlm0 22004331i 450 9900092474504033219783540766506000924745FED01000924745(Aleph)000924745FED0100092474520100926d2007----km-y0itay50------baengDEdrnn-008mamaaFormal Methods and Software EngineeringRisorsa elettronica9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedingsedited by Michael Butler, Michael G. Hinchey, MarBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434789Documento elettronicoTestoFormato html, pdfButler,MichaelHinchey,Michael G.Larrondo-Petrie,María M.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-76650-6EB990009247450403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsModels and PrinciplesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringFormal Methods and Software Engineering771999UNINA01154nam0 22002651i 450 UON0013001520231205102752.47420020107d1977 |0itac50 bafreKP|||| 1||||Raffermissons le pouvoir populaireDiscours prononce lors de la 1.ère session de la 6. Legislature de l'Assemblée Populaire Supreme de la Republique Popolaire Democratique de Coree. Le 15 decembre 1977Kim Il SungPyongyangEditions en Langues Etrangeres197730 p.19 cmPyongyangUONL000199COR VCOREA - POLITOLOGIAAKIM Il SungUONV00276872117Foreign Languages PressUONV246351650KIM Il SongKIM Il SungUONV160159ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00130015SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI COR V 050 SI SA 6407 5 050 Raffermissons le pouvoir populaire362506UNIOR02691nam 22004933 450 991100667410332120231110233928.09781523149742152314974497892011912129201191219(MiAaPQ)EBC7152659(Au-PeEL)EBL7152659(CKB)25610211000041(NjHacI)9925610211000041(MiAaPQ)EBC32156576(Au-PeEL)EBL32156576(EXLCZ)992561021100004120221210d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAdvisory Material for the IAEA Regulations for the Safe Transport of Radioactive Material (2018 Edition)2018 edition.Vienna :International Atomic Energy Agency,2022.©2022.1 online resource (520 pages)IAEA Safety Standards Series No ;v.SSG-26 (Rev. 1)Print version: IAEA Advisory Material for the IAEA Regulations for the Safe Transport of Radioactive Material (2018 Edition) Vienna : International Atomic Energy Agency,c2022 9789201190215 "This Safety Guide provides recommendations and guidance on achieving and demonstrating compliance with IAEA Safety Standards Series No. SSR-6 (Rev. 1), Regulations for the Safe Transport of Radioactive Material (2018 Edition), which establishes the requirements to be applied to the national and international transport of radioactive material. Transport is deemed to comprise all operations and conditions associated with and involved in the movement of radioactive material, including the design, fabrication and maintenance of packaging, and the preparation, consigning, handling, carriage, storage in transit, shipment after storage and receipt at the final destination of packages. The Advisory Material is not a stand-alone text. It is to be used concurrently as a companion to the IAEA Safety Standards Series No. SSR-6 (Rev. 1) and each paragraph of this guide is numbered correspondingly to the paragraph of the Regulations to which it most directly relates."--Publisher's description.IAEA Safety Standards Series No Radioactive waste disposalRadioactive waste disposal.621.4838IAEA1594159MiAaPQMiAaPQMiAaPQBOOK9911006674103321Advisory Material for the IAEA Regulations for the Safe Transport of Radioactive Material (2018 Edition)4391266UNINA