001459336 000__ 01796nam\a2200445\i\4500
001459336 001__ 1459336
001459336 003__ MiAaPQ
001459336 005__ 20230330003747.0
001459336 006__ m\\\\\o\\d\\\\\\\\
001459336 007__ cr\cn\nnnunnun
001459336 008__ 171210t20182018si\a\\\\ob\\\\001\0\eng\d
001459336 020__ $$z9789811041204
001459336 020__ $$a9789811041211 (e-book)
001459336 035__ $$a(MiAaPQ)EBC5143834
001459336 035__ $$a(Au-PeEL)EBL5143834
001459336 035__ $$a(CaPaEBR)ebr11465644
001459336 035__ $$a(OCoLC)1012347666
001459336 040__ $$aMiAaPQ$$beng$$erda$$epn$$cMiAaPQ$$dMiAaPQ
001459336 050_4 $$aQA76.9.F67$$b.F676 2018
001459336 0820_ $$a004.0151$$223
001459336 24500 $$aFormal methods for safety and security :$$bcase studies for aerospace applications /$$cManju Nanda, Yogananda Jeppu, editors.
001459336 264_1 $$aGateway East, Singapore :$$bSpringer,$$c2018.
001459336 264_4 $$c2018
001459336 300__ $$a1 online resource (138 pages) :$$billustrations (some color), graphs.
001459336 336__ $$atext$$2rdacontent
001459336 337__ $$acomputer$$2rdamedia
001459336 338__ $$aonline resource$$2rdacarrier
001459336 504__ $$aIncludes bibliographical references at the end of each chapters and index.
001459336 506__ $$aAccess limited to authorized users.
001459336 588__ $$aDescription based on print version record.
001459336 650_0 $$aFormal methods (Computer science)
001459336 655_0 $$aElectronic books
001459336 7001_ $$aNanda, Manju,$$eeditor.
001459336 7001_ $$aJeppu, Yogananda,$$eeditor.
001459336 77608 $$iPrint version:$$tFormal methods for safety and security : case studies for aerospace applications.$$dGateway East, Singapore ; Springer, c2018 $$z9789811041204 $$w2017934065
001459336 852__ $$bebk
001459336 85640 $$3ProQuest Ebook Central Academic Complete $$uhttps://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=5143834$$zOnline Access
001459336 909CO $$ooai:library.usi.edu:1459336$$pGLOBAL_SET
001459336 980__ $$aBIB
001459336 980__ $$aEBOOK
001459336 982__ $$aEbook
001459336 983__ $$aOnline