LEADER 01432nam  2200457   450 
001 9910502625303321
005 20231110213256.0
010   $a3-030-88494-5
035   $a(CKB)5360000000050076
035   $a(MiAaPQ)EBC6745481
035   $a(Au-PeEL)EBL6745481
035   $a(OCoLC)1274198284
035   $a(PPN)258296127
035   $a(EXLCZ)995360000000050076
100   $a20220702d2021      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRuntime verification $e21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, proceedings /$fLu Feng, Dana Fisman
210  1$aCham, Switzerland :$cSpringer International Publishing,$d[2021]
210  4$dİ2021
215   $a1 online resource (339 pages)
225 1 $aLecture Notes in Computer Science ;$vv.12974
311   $a3-030-88493-7 
410  0$aLecture Notes in Computer Science 
606   $aSoftware engineering
606   $aSoftware engineering$xComputer programs
615  0$aSoftware engineering.
615  0$aSoftware engineering$xComputer programs.
676   $a005.1
700   $aFeng$b Lu$01072888
702   $aFisman$b Dana
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910502625303321
996   $aRuntime verification$92897503
997   $aUNINA