000777820 000__ 01616cam\a2200445Ii\4500
000777820 001__ 777820
000777820 005__ 20230306142736.0
000777820 006__ m\\\\\o\\d\\\\\\\\
000777820 007__ cr\nn\nnnunnun
000777820 008__ 161109t20162017sz\\\\\\ob\\\\001\0\eng\d
000777820 019__ $$a965474582
000777820 020__ $$a9783319470160$$q(electronic book)
000777820 020__ $$a3319470167$$q(electronic book)
000777820 020__ $$z9783319470146
000777820 035__ $$aSP(OCoLC)ocn962303154
000777820 035__ $$aSP(OCoLC)962303154$$z(OCoLC)965474582
000777820 040__ $$aN$T$$beng$$erda$$epn$$cN$T$$dGW5XE$$dIDEBK$$dN$T$$dEBLCP$$dYDX$$dOCLCF$$dIDB$$dMERUC$$dUAB$$dIOG
000777820 049__ $$aISEA
000777820 050_4 $$aQA76.76.V47
000777820 08204 $$a005.1/4$$223
000777820 1001_ $$aZhan, Naijun,$$eauthor.
000777820 24510 $$aFormal verification of Simulink/Stateflow diagrams :$$ba deductive approach /$$cNaijun Zhan, Shuling Wang, Hengjun Zhao.
000777820 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2016].
000777820 264_4 $$c©2017
000777820 300__ $$a1 online resource.
000777820 336__ $$atext$$btxt$$2rdacontent
000777820 337__ $$acomputer$$bc$$2rdamedia
000777820 338__ $$aonline resource$$bcr$$2rdacarrier
000777820 504__ $$aIncludes bibliographical references and index.
000777820 506__ $$aAccess limited to authorized users.
000777820 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 18, 2016).
000777820 63000 $$aSIMULINK.
000777820 63000 $$aStateflow.
000777820 650_0 $$aComputer software$$xVerification.
000777820 7001_ $$aWang, Shuling,$$eauthor.
000777820 7001_ $$aZhao, Hengjun,$$eauthor.
000777820 852__ $$bebk
000777820 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-47016-0$$zOnline Access$$91397441.1
000777820 909CO $$ooai:library.usi.edu:777820$$pGLOBAL_SET
000777820 980__ $$aEBOOK
000777820 980__ $$aBIB
000777820 982__ $$aEbook
000777820 983__ $$aOnline
000777820 994__ $$a92$$bISE