000929021 000__ 02251cam\a2200505Ia\4500
000929021 001__ 929021
000929021 005__ 20230306151329.0
000929021 006__ m\\\\\o\\d\\\\\\\\
000929021 007__ cr\un\nnnunnun
000929021 008__ 200307s2020\\\\sz\\\\\\o\\\\\101\0\eng\d
000929021 020__ $$a9783030414184$$q(electronic book)
000929021 020__ $$a3030414183$$q(electronic book)
000929021 020__ $$z9783030414177
000929021 035__ $$aSP(OCoLC)on1142508150
000929021 035__ $$aSP(OCoLC)1142508150
000929021 040__ $$aEBLCP$$beng$$cEBLCP$$dGW5XE$$dEBLCP
000929021 049__ $$aISEA
000929021 050_4 $$aQA76.9.L63
000929021 08204 $$a005.1$$223
000929021 1112_ $$aSOFL+MSVL (Workshop)$$n(9th :$$d2019 :$$cShenzhen, China)
000929021 24510 $$aStructured object-oriented formal language and method :$$b9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers /$$cHuaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan (eds.).
000929021 2463_ $$aSOFL+MSVL 2019
000929021 260__ $$aCham :$$bSpringer,$$c2020.
000929021 300__ $$a1 online resource (366 pages).
000929021 336__ $$atext$$btxt$$2rdacontent
000929021 337__ $$acomputer$$bc$$2rdamedia
000929021 338__ $$aonline resource$$bcr$$2rdacarrier
000929021 4901_ $$aLecture Notes in Computer Science  ;$$v12028
000929021 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000929021 500__ $$aIncludes author index.
000929021 506__ $$aAccess limited to authorized users.
000929021 588__ $$aDescription based on print version record.
000929021 650_0 $$aFormal methods (Computer science)$$vCongresses.
000929021 650_0 $$aObject-oriented methods (Computer science)$$vCongresses.
000929021 7001_ $$aMiao, Huaikou,$$d1953-
000929021 7001_ $$aTian, Cong.
000929021 7001_ $$aLiu, Shaoying,$$d1960-
000929021 7001_ $$aDuan, Zhenhua.
000929021 77608 $$iPrint version:$$aMiao, Huaikou$$tStructured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers$$dCham : Springer International Publishing AG,c2020$$z9783030414177
000929021 830_0 $$aLecture notes in computer science ;$$v12028.
000929021 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000929021 852__ $$bebk
000929021 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-41418-4$$zOnline Access$$91397441.1
000929021 909CO $$ooai:library.usi.edu:929021$$pGLOBAL_SET
000929021 980__ $$aEBOOK
000929021 980__ $$aBIB
000929021 982__ $$aEbook
000929021 983__ $$aOnline
000929021 994__ $$a92$$bISE