000850890 000__ 02151cam\a2200505Ii\4500
000850890 001__ 850890
000850890 005__ 20230306145003.0
000850890 006__ m\\\\\o\\d\\\\\\\\
000850890 007__ cr\cn\nnnunnun
000850890 008__ 180926s2018\\\\sz\a\\\\o\\\\\101\0\eng\d
000850890 020__ $$a9783030003593$$q(electronic book)
000850890 020__ $$a3030003590$$q(electronic book)
000850890 020__ $$z9783030003586
000850890 0247_ $$a10.1007/978-3-030-00359-3$$2doi
000850890 035__ $$aSP(OCoLC)on1054246161
000850890 035__ $$aSP(OCoLC)1054246161
000850890 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dNLE$$dOCLCO
000850890 049__ $$aISEA
000850890 050_4 $$aTK5105.5
000850890 08204 $$a004/.36$$223
000850890 1112_ $$aVECoS (Conference)$$n(12th :$$d2018 :$$cGrenoble, France)
000850890 24510 $$aVerification and evaluation of computer and communication systems :$$b12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /$$cMohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (editors).
000850890 2463_ $$aVECoS 2018
000850890 264_1 $$aCham, Switzerland :$$bSpringer,$$c2018.
000850890 300__ $$a1 online resource (xiv, 219 pages) :$$billustrations.
000850890 336__ $$atext$$btxt$$2rdacontent
000850890 337__ $$acomputer$$bc$$2rdamedia
000850890 338__ $$aonline resource$$bcr$$2rdacarrier
000850890 4901_ $$aLecture notes in computer science ;$$v11181
000850890 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000850890 500__ $$aIncludes author index.
000850890 506__ $$aAccess limited to authorized users.
000850890 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 26, 2018).
000850890 650_0 $$aComputer networks$$xEvaluation$$vCongresses.
000850890 650_0 $$aComputer software$$xVerification$$vCongresses.
000850890 7001_ $$aAtig, Mohamed Faouzi,$$eeditor.
000850890 7001_ $$aBensalem, Saddek,$$eeditor.
000850890 7001_ $$aBliudze, Simon,$$eeditor.
000850890 7001_ $$aMonsuez, Bruno,$$eeditor.
000850890 830_0 $$aLecture notes in computer science ;$$v11181.
000850890 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000850890 852__ $$bebk
000850890 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-00359-3$$zOnline Access$$91397441.1
000850890 909CO $$ooai:library.usi.edu:850890$$pGLOBAL_SET
000850890 980__ $$aEBOOK
000850890 980__ $$aBIB
000850890 982__ $$aEbook
000850890 983__ $$aOnline
000850890 994__ $$a92$$bISE