LEADER 01542nam  2200457   450 
001 9910574058803321
005 20231110231427.0
010   $a3-031-07727-X
035   $a(MiAaPQ)EBC7007366
035   $a(Au-PeEL)EBL7007366
035   $a(CKB)23114192800041
035   $aEBL7007366
035   $a(AU-PeEL)EBL7007366
035   $a(PPN)268784744
035   $a(EXLCZ)9923114192800041
100   $a20221219d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aIntegrated formal methods $e17th international conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, proceedings /$fedited by Maurice H. ter Beek and Rosemary Monahan
210  1$aCham, Switzerland :$cSpringer,$d[2022]
210  4$dİ2022
215   $a1 online resource (372 pages)
225 1 $aLecture Notes in Computer Science ;$vv.13274
300   $aIncludes index.
311 08$aPrint version: ter Beek, Maurice H. Integrated Formal Methods Cham : Springer International Publishing AG,c2022 9783031077265 
410  0$aLecture Notes in Computer Science 
606   $aFormal methods (Computer science)
615  0$aFormal methods (Computer science)
676   $a004.0151
702   $aBeek$b Maurice H. ter
702   $aMonahan$b Rosemary
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910574058803321
996   $aIntegrated Formal Methods$92860239
997   $aUNINA