001437231 000__ 03135cam\a2200649\a\4500
001437231 001__ 1437231
001437231 003__ OCoLC
001437231 005__ 20230309004138.0
001437231 006__ m\\\\\o\\d\\\\\\\\
001437231 007__ cr\un\nnnunnun
001437231 008__ 210608s2021\\\\sz\\\\\\o\\\\\101\0\eng\d
001437231 019__ $$a1262380275$$a1264825399
001437231 020__ $$a9783030774745$$q(electronic bk.)
001437231 020__ $$a3030774740$$q(electronic bk.)
001437231 020__ $$z3030774732
001437231 020__ $$z9783030774738
001437231 0247_ $$a10.1007/978-3-030-77474-5$$2doi
001437231 035__ $$aSP(OCoLC)1255463818
001437231 040__ $$aYDX$$beng$$epn$$cYDX$$dGW5XE$$dOCLCO$$dOCLCF$$dOCLCO$$dSFB$$dDKU$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001437231 049__ $$aISEA
001437231 050_4 $$aQA76.9.L63
001437231 08204 $$a005.1$$223
001437231 1112_ $$aSOFL+MSVL (Workshop)$$n(10th :$$d2020 :$$cOnline)
001437231 24510 $$aStructured object-oriented formal language and method :$$b10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised selected papers /$$cJinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (eds.).
001437231 2463_ $$aSOFL+MSVL 2020
001437231 260__ $$aCham :$$bSpringer,$$c2021.
001437231 300__ $$a1 online resource
001437231 336__ $$atext$$btxt$$2rdacontent
001437231 337__ $$acomputer$$bc$$2rdamedia
001437231 338__ $$aonline resource$$bcr$$2rdacarrier
001437231 347__ $$atext file
001437231 347__ $$bPDF
001437231 4901_ $$aLecture notes in computer science ;$$v12723
001437231 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
001437231 500__ $$aIncludes author index.
001437231 5050_ $$aModeling and Specification -- Model Checking -- Specification and Verification -- Testing and Formal Verification.
001437231 506__ $$aAccess limited to authorized users.
001437231 520__ $$aThis book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification. Due to the Corona pandemic this event was held virtually.
001437231 650_0 $$aFormal methods (Computer science)$$vCongresses.
001437231 650_0 $$aObject-oriented methods (Computer science)$$vCongresses.
001437231 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001437231 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001437231 655_7 $$aConference papers and proceedings.$$2lcgft
001437231 655_7 $$aActes de congrès.$$2rvmgf
001437231 655_0 $$aElectronic books.
001437231 7001_ $$aXue, Jinyun,$$eeditor.
001437231 7001_ $$aNagoya, Fumiko,$$eeditor.
001437231 7001_ $$aLiu, Shaoying,$$d1960-$$eeditor.
001437231 7001_ $$aDuan, Zhenhua,$$eeditor.
001437231 830_0 $$aLecture notes in computer science ;$$v12723.
001437231 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001437231 852__ $$bebk
001437231 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-77474-5$$zOnline Access$$91397441.1
001437231 909CO $$ooai:library.usi.edu:1437231$$pGLOBAL_SET
001437231 980__ $$aBIB
001437231 980__ $$aEBOOK
001437231 982__ $$aEbook
001437231 983__ $$aOnline
001437231 994__ $$a92$$bISE