000807491 000__ 02044cam\a2200469Ii\4500
000807491 001__ 807491
000807491 005__ 20210515141059.0
000807491 006__ m\\\\\o\\d\\\\\\\\
000807491 007__ cr\cn\nnnunnun
000807491 008__ 171226s2017\\\\sz\a\\\\o\\\\\101\0\eng\d
000807491 020__ $$a9783319723082$$q(electronic book)
000807491 020__ $$a3319723081$$q(electronic book)
000807491 020__ $$z9783319723075
000807491 0247_ $$a10.1007/978-3-319-72308-2$$2doi
000807491 035__ $$a(OCoLC)on1017096735
000807491 035__ $$a(OCoLC)1017096735
000807491 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dUAB
000807491 049__ $$aISEA
000807491 050_4 $$aQA76.76.V47
000807491 08204 $$a005.1/4$$223
000807491 1112_ $$aVSTTE (Conference)$$n(9th :$$d2017 :$$cHeidelberg, Germany)
000807491 24510 $$aVerified software :$$btheories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /$$cedited by Andrei Paskevich, Thomas Wies.
000807491 2463_ $$aVSTTE 2017
000807491 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000807491 300__ $$a1 online resource (xiii, 211 pages) :$$billustrations.
000807491 336__ $$atext$$btxt$$2rdacontent
000807491 337__ $$acomputer$$bc$$2rdamedia
000807491 338__ $$aonline resource$$bcr$$2rdacarrier
000807491 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v10712
000807491 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000807491 500__ $$aIncludes author index.
000807491 506__ $$aAccess limited to authorized users.
000807491 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed December 26, 2017).
000807491 650_0 $$aComputer software$$xVerification$$vCongresses.
000807491 650_0 $$aComputer software$$xQuality control$$vCongresses.
000807491 650_0 $$aCompilers (Computer programs)$$vCongresses.
000807491 7001_ $$aPaskevich, Andrei,$$eeditor.
000807491 7001_ $$aWies, Thomas,$$eeditor.
000807491 830_0 $$aLecture notes in computer science ;$$v10712.$$x0302-9743
000807491 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000807491 852__ $$bebk
000807491 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-72308-2$$zOnline Access
000807491 909CO $$ooai:library.usi.edu:807491$$pGLOBAL_SET
000807491 980__ $$aBIB
000807491 983__ $$aOnline
000807491 994__ $$a92$$bISE