000930057 000__ 02184cam\a2200481Ia\4500
000930057 001__ 930057
000930057 005__ 20230306151433.0
000930057 006__ m\\\\\o\\d\\\\\\\\
000930057 007__ cr\un\nnnunnun
000930057 008__ 200321s2020\\\\sz\\\\\\o\\\\\100\0\eng\d
000930057 020__ $$a9783030416003$$q(electronic book)
000930057 020__ $$a3030416003$$q(electronic book)
000930057 020__ $$z9783030415990
000930057 035__ $$aSP(OCoLC)on1145572252
000930057 035__ $$aSP(OCoLC)1145572252
000930057 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dOCLCQ
000930057 049__ $$aISEA
000930057 050_4 $$aQA76.76.V47
000930057 08204 $$a005.1/4$$223
000930057 1112_ $$aVSTTE (Conference)$$n(11th :$$d2019 :$$cNew York, N.Y.)
000930057 24510 $$aVerified software :$$btheories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers /$$cSupratik Chakraborty, Jorge A. Navas, editors.
000930057 2463_ $$aVSTTE 2019
000930057 260__ $$aCham :$$bSpringer,$$c2020.
000930057 300__ $$a1 online resource (208 pages)
000930057 336__ $$atext$$btxt$$2rdacontent
000930057 337__ $$acomputer$$bc$$2rdamedia
000930057 338__ $$aonline resource$$bcr$$2rdacarrier
000930057 4901_ $$aLecture Notes in Computer Science ;$$vv. 12031
000930057 4901_ $$aLNCS Sublibrary, SL2, Programming and Software Engineering
000930057 506__ $$aAccess limited to authorized users.
000930057 588__ $$aDescription based on print version record.
000930057 650_0 $$aComputer software$$xVerification$$vCongresses.
000930057 650_0 $$aComputer software$$xQuality control$$vCongresses.
000930057 650_0 $$aCompilers (Computer programs)$$vCongresses.
000930057 7001_ $$aChakraborty, Supratik.
000930057 7001_ $$aNavas, Jorge A.
000930057 77608 $$iPrint version:$$aChakraborty, Supratik.$$tVerified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers.$$dCham : Springer International Publishing AG, ©2020$$z9783030415990
000930057 830_0 $$aLecture notes in computer science ;$$v12031.
000930057 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000930057 852__ $$bebk
000930057 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-41600-3$$zOnline Access$$91397441.1
000930057 909CO $$ooai:library.usi.edu:930057$$pGLOBAL_SET
000930057 980__ $$aEBOOK
000930057 980__ $$aBIB
000930057 982__ $$aEbook
000930057 983__ $$aOnline
000930057 994__ $$a92$$bISE