000798213 000__ 02283cam\a2200517Ii\4500
000798213 001__ 798213
000798213 005__ 20230306143512.0
000798213 006__ m\\\\\o\\d\\\\\\\\
000798213 007__ cr\cn\nnnunnun
000798213 008__ 170824s2017\\\\sz\a\\\\o\\\\\101\0\eng\d
000798213 020__ $$a9783319661766$$q(electronic book)
000798213 020__ $$a3319661760$$q(electronic book)
000798213 020__ $$z9783319661759
000798213 0247_ $$a10.1007/978-3-319-66176-6$$2doi
000798213 035__ $$aSP(OCoLC)on1001806798
000798213 035__ $$aSP(OCoLC)1001806798
000798213 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dUAB
000798213 049__ $$aISEA
000798213 050_4 $$aTK5105.5
000798213 08204 $$a004/.36$$223
000798213 1112_ $$aInternational Conference on Verification and Evaluatiuon of Computer and Communication Systems$$n(11th :$$d2017 :$$cMontréal, Québec)
000798213 24510 $$aVerification and evaluation of computer and communication systems :$$b11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /$$cKamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar (eds.).
000798213 2463_ $$aVECoS 2017
000798213 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000798213 300__ $$a1 online resource (xvi, 205 pages) :$$billustrations.
000798213 336__ $$atext$$btxt$$2rdacontent
000798213 337__ $$acomputer$$bc$$2rdamedia
000798213 338__ $$aonline resource$$bcr$$2rdacarrier
000798213 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10466
000798213 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000798213 500__ $$aInternational conference proceedings.
000798213 500__ $$aIncludes author index.
000798213 506__ $$aAccess limited to authorized users.
000798213 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 24, 2017).
000798213 650_0 $$aComputer networks$$xEvaluation$$vCongresses.
000798213 650_0 $$aComputer software$$xVerification$$vCongresses.
000798213 7001_ $$aBarkaoui, Kamel,$$eeditor.
000798213 7001_ $$aBoucheneb, Hanifa,$$eeditor.
000798213 7001_ $$aMili, Ali,$$eeditor.
000798213 7001_ $$aTahar, Sofiène,$$d1966-$$eeditor.
000798213 830_0 $$aLecture notes in computer science ;$$v10466.
000798213 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000798213 852__ $$bebk
000798213 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-66176-6$$zOnline Access$$91397441.1
000798213 909CO $$ooai:library.usi.edu:798213$$pGLOBAL_SET
000798213 980__ $$aEBOOK
000798213 980__ $$aBIB
000798213 982__ $$aEbook
000798213 983__ $$aOnline
000798213 994__ $$a92$$bISE