000779748 000__ 03044cam\a2200565Ii\4500
000779748 001__ 779748
000779748 005__ 20230306143036.0
000779748 006__ m\\\\\o\\d\\\\\\\\
000779748 007__ cr\nn\nnnunnun
000779748 008__ 170227s2017\\\\sz\a\\\\o\\\\\101\0\eng\d
000779748 019__ $$a974481457$$a974544945$$a981777160$$a985344331
000779748 020__ $$a9783319542928$$q(electronic book)
000779748 020__ $$a3319542923$$q(electronic book)
000779748 020__ $$z9783319542911
000779748 020__ $$z3319542915
000779748 0247_ $$a10.1007/978-3-319-54292-8$$2doi
000779748 035__ $$aSP(OCoLC)ocn973878368
000779748 035__ $$aSP(OCoLC)973878368$$z(OCoLC)974481457$$z(OCoLC)974544945$$z(OCoLC)981777160$$z(OCoLC)985344331
000779748 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDX$$dNJR$$dUAB$$dESU$$dOCLCF$$dOCLCO$$dCOO$$dOCLCA$$dAZU$$dUWO$$dIOG$$dUPM
000779748 049__ $$aISEA
000779748 050_4 $$aQA76.76.V47
000779748 08204 $$a005.1/4$$223
000779748 1112_ $$aNSV (Workshop)$$n(9th :$$d2016 :$$cToronto, Ont.)
000779748 24510 $$aNumerical software verification :$$b9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /$$cSergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (eds.).
000779748 2463_ $$aNSV 2016
000779748 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000779748 300__ $$a1 online resource (vii, 107 pages) :$$billustrations.
000779748 336__ $$atext$$btxt$$2rdacontent
000779748 337__ $$acomputer$$bc$$2rdamedia
000779748 338__ $$aonline resource$$bcr$$2rdacarrier
000779748 347__ $$atext file$$bPDF$$2rda
000779748 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10152
000779748 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000779748 500__ $$aIncludes author index.
000779748 5050_ $$aVerification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS).
000779748 506__ $$aAccess limited to authorized users.
000779748 520__ $$aThis book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
000779748 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed February 27, 2017).
000779748 650_0 $$aComputer software$$xVerification$$vCongresses.
000779748 7001_ $$aBogomolov, Sergiy,$$eeditor.
000779748 7001_ $$aMartel, Matthieu,$$eeditor.
000779748 7001_ $$aPrabhakar, Pavithra,$$eeditor.
000779748 7112_ $$aCAV (Conference)$$n(28th :$$d2016 :$$cToronto, Ont.).$$ejointly held conference.
000779748 77608 $$iPrint version:$$z3319542915$$z9783319542911$$w(OCoLC)971335745
000779748 830_0 $$aLecture notes in computer science ;$$v10152.
000779748 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000779748 852__ $$bebk
000779748 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-54292-8$$zOnline Access$$91397441.1
000779748 909CO $$ooai:library.usi.edu:779748$$pGLOBAL_SET
000779748 980__ $$aEBOOK
000779748 980__ $$aBIB
000779748 982__ $$aEbook
000779748 983__ $$aOnline
000779748 994__ $$a92$$bISE