LEADER 01929nam  2200505   450 
001 996464526803316
005 20220819195328.0
010   $a3-030-91265-5
035   $a(MiAaPQ)EBC6810893
035   $a(Au-PeEL)EBL6810893
035   $a(CKB)19919641300041
035   $a(OCoLC)1286620436
035   $a(PPN)258838736
035   $a(EXLCZ)9919919641300041
100   $a20220819d2021      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aDependable software engineering $etheories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, proceedings /$fShengchao Qin, Jim Woodcock, Wenhui Zhang (editors)
210  1$aCham, Switzerland :$cSpringer,$d[2021]
210  4$dİ2021
215   $a1 online resource (327 pages)
225 1 $aLecture notes in computer science, programming and software engineering ;$vVolume 13071
311 08$aPrint version: Qin, Shengchao Dependable Software Engineering. Theories, Tools, and Applications Cham : Springer International Publishing AG,c2021 9783030912642 
320   $aIncludes bibliographical references and index.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering ;$v13071.
606   $aSoftware engineering$vCongresses
606   $aFormal methods (Computer science)$vCongresses
606   $aFormal methods (Computer science)
615  0$aSoftware engineering
615  0$aFormal methods (Computer science)
615  0$aFormal methods (Computer science)
676   $a005.1
702   $aQin$b Shengchao
702   $aWoodcock$b Jim
702   $aZhang$b Wenhui$f1963-
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996464526803316
996   $aDependable software engineering$92905739
997   $aUNISA