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