000861132 000__ 01545cam\a2200409Ii\4500
000861132 001__ 861132
000861132 005__ 20230306145431.0
000861132 006__ m\\\\\o\\d\\\\\\\\
000861132 007__ cr\cn\nnnunnun
000861132 008__ 181022s2019\\\\sz\a\\\\ob\\\\001\0\eng\d
000861132 020__ $$a9783319955131$$q(electronic book)
000861132 020__ $$a3319955136$$q(electronic book)
000861132 020__ $$z9783319955124
000861132 0247_ $$a10.1007/978-3-319-95513-1$$2doi
000861132 035__ $$aSP(OCoLC)on1057472827
000861132 035__ $$aSP(OCoLC)1057472827
000861132 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dN$T$$dUKMGB$$dOCLCF$$dUAB$$dCAUOI
000861132 049__ $$aISEA
000861132 050_4 $$aQA76.9.F67
000861132 08204 $$a004.01/51$$223
000861132 1001_ $$aRussinoff, David,$$d1948-$$eauthor.
000861132 24510 $$aFormal verification of floating-point hardware design :$$ba mathematical approach /$$cDavid M. Russinoff.
000861132 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2019].
000861132 300__ $$a1 online resource (xxiv, 382 pages) :$$billustrations.
000861132 336__ $$atext$$btxt$$2rdacontent
000861132 337__ $$acomputer$$bc$$2rdamedia
000861132 338__ $$aonline resource$$bcr$$2rdacarrier
000861132 504__ $$aIncludes bibliographical references and index.
000861132 506__ $$aAccess limited to authorized users.
000861132 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 22, 2018).
000861132 650_0 $$aFormal methods (Computer science)
000861132 650_0 $$aFloating-point arithmetic.
000861132 650_0 $$aSystem design.
000861132 852__ $$bebk
000861132 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-95513-1$$zOnline Access$$91397441.1
000861132 909CO $$ooai:library.usi.edu:861132$$pGLOBAL_SET
000861132 980__ $$aEBOOK
000861132 980__ $$aBIB
000861132 982__ $$aEbook
000861132 983__ $$aOnline
000861132 994__ $$a92$$bISE