LEADER 02135nam  2200517   450 
001 996478867303316
005 20221218060007.0
010   $a3-031-08679-1
035   $a(MiAaPQ)EBC7015356
035   $a(Au-PeEL)EBL7015356
035   $a(CKB)23689202400041
035   $aEBL7015356
035   $a(AU-PeEL)EBL7015356
035   $a(PPN)268749892
035   $a(EXLCZ)9923689202400041
100   $a20221218d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aFormal techniques for distributed objects, components, and systems $e42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022, proceedings /$fMohammad Reza Mousavi, Anna Philippou, editors
210  1$aCham, Switzerland :$cSpringer,$d[2022]
210  4$dİ2022
215   $a1 online resource (222 pages)
225 1 $aLecture notes in computer science ;$vVolume 13273
300   $aDescription based upon print version of record.
311 08$aPrint version: Mousavi, Mohammad Reza Formal Techniques for Distributed Objects, Components, and Systems Cham : Springer International Publishing AG,c2022 9783031086786 
320   $aIncludes bibliographical references and index.
410  0$aLecture notes in computer science ;$vVolume 13273.
606   $aElectronic data processing$xDistributed processing$vCongresses
606   $aFormal methods (Computer science)$vCongresses
606   $aSoftware engineering
615  0$aElectronic data processing$xDistributed processing
615  0$aFormal methods (Computer science)
615  0$aSoftware engineering.
676   $a004.36
702   $aMousavi$b Mohammad Reza$f1978-
702   $aPhilippou$b Anna
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996478867303316
996   $aFormal Techniques for Distributed Objects, Components, and Systems$92880511
997   $aUNISA