000754523 000__ 02652cam\a2200493Ii\4500
000754523 001__ 754523
000754523 005__ 20230306141712.0
000754523 006__ m\\\\\o\\d\\\\\\\\
000754523 007__ cr\cn\nnnunnun
000754523 008__ 160404s2016\\\\sz\a\\\\o\\\\\101\0\eng\d
000754523 020__ $$a9783319312200$$q(electronic book)
000754523 020__ $$a3319312200$$q(electronic book)
000754523 020__ $$z9783319312194
000754523 035__ $$aSP(OCoLC)ocn945922177
000754523 035__ $$aSP(OCoLC)945922177
000754523 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dNUI
000754523 049__ $$aISEA
000754523 050_4 $$aQA76.9.L63
000754523 08204 $$a005.1015113$$223
000754523 1112_ $$aSOFL+MSVL (Workshop)$$n(5th :$$d2015 :$$cParis, France)
000754523 24510 $$aStructured object-oriented formal language and method$$h[electronic resource] :$$b5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers /$$cShaoying Liu, Zhenhua Duan (eds.).
000754523 2463_ $$aSOFL+MSVL 2015
000754523 264_1 $$aSwitzerland :$$bSpringer,$$c2016.
000754523 300__ $$a1 online resource (viii, 219 pages) :$$billustrations.
000754523 336__ $$atext$$btxt$$2rdacontent
000754523 337__ $$acomputer$$bc$$2rdamedia
000754523 338__ $$aonline resource$$bcr$$2rdacarrier
000754523 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9559
000754523 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000754523 500__ $$aIncludes author index.
000754523 5050_ $$aModeling and Specification -- Testing and Debugging -- Model Checking and Verification -- Algorithm and Transformation.
000754523 506__ $$aAccess limited to authorized users.
000754523 520__ $$aThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.
000754523 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 4, 2016).
000754523 650_0 $$aFormal methods (Computer science)$$vCongresses.
000754523 650_0 $$aObject-oriented methods (Computer science)$$vCongresses.
000754523 7001_ $$aLiu, Shaoying,$$d1960-$$eeditor.
000754523 7001_ $$aDuan, Zhenhua,$$eeditor.
000754523 830_0 $$aLecture notes in computer science ;$$v9559.
000754523 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000754523 852__ $$bebk
000754523 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-31220-0$$zOnline Access$$91397441.1
000754523 909CO $$ooai:library.usi.edu:754523$$pGLOBAL_SET
000754523 980__ $$aEBOOK
000754523 980__ $$aBIB
000754523 982__ $$aEbook
000754523 983__ $$aOnline
000754523 994__ $$a92$$bISE