LEADER 01664nam  2200481   450 
001 996464527203316
005 20220727184248.0
010   $a3-030-90870-4
035   $a(MiAaPQ)EBC6801970
035   $a(Au-PeEL)EBL6801970
035   $a(CKB)19410712400041
035   $a(OCoLC)1285171495
035   $a(PPN)258838701
035   $a(EXLCZ)9919410712400041
100   $a20220727d2021      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aFormal methods $e24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings /$fMarieke Huisman, Corina Pa?sa?reanu, Naijun Zhan (editors)
210  1$aCham, Switzerland :$cSpringer,$d[2021]
210  4$dİ2021
215   $a1 online resource (801 pages)
225 1 $aLecture notes in computer science ;$v13047
311 08$aPrint version: Huisman, Marieke Formal Methods Cham : Springer International Publishing AG,c2021 9783030908690 
320   $aIncludes bibliographical references and index.
410  0$aLecture notes in computer science ;$v13047.
606   $aFormal methods (Computer science)$vCongresses
606   $aFormal methods (Computer science)
615  0$aFormal methods (Computer science)
615  0$aFormal methods (Computer science)
676   $a004.0151
702   $aHuisman$b Marieke
702   $aPa?sa?reanu$b Corina S.
702   $aZhan$b Naijun
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996464527203316
996   $aFormal methods$92247212
997   $aUNISA

LEADER 01969oam  2200457   450 
001 9910717121103321
005 20220224142846.0
035   $a(CKB)5470000002529008
035   $a(OCoLC)1296613237
035   $a(EXLCZ)995470000002529008
100   $a20220214d2021      ua             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aNuclear energy $esafety : agreement between the United States of America and Finland Extending the Arrangement of September 28, 2016, signed at Vienna September 23, 2021; entered into force September 23, 2021 with effect from September 28, 2021
215   $a1 online resource (4 unnumbered pages)
225 1 $aTreaties and other international acts series ;$v21-923.1
517 3 $aAgreement between the United States of America and Finland Extending the Arrangement of September 28, 2016, signed at Vienna September 23, 2021; entered into force September 23, 2021 with effect from September 28, 2021
606   $aNuclear facilities$zFinland$xSafety measures
606   $aNuclear facilities$zUnited States$xSafety measures
606   $aCommunication of technical information$zFinland
606   $aCommunication of technical information$zUnited States
606   $aNuclear facilities$xSafety measures$xInternational cooperation
608   $aTreaties.$2lcgft
615  0$aNuclear facilities$xSafety measures.
615  0$aNuclear facilities$xSafety measures.
615  0$aCommunication of technical information
615  0$aCommunication of technical information
615  0$aNuclear facilities$xSafety measures$xInternational cooperation.
712 02$aUnited States.$bDepartment of State,
712 02$aFinland,
712 02$aUnited States,
801  0$bGPO
801  1$bGPO
801  2$bGPO
906   $aBOOK
912   $a9910717121103321
996   $aNuclear energy$9789841
997   $aUNINA