000476418 000__ 01610cam\a2200397\a\4500
000476418 001__ 476418
000476418 005__ 20210513165149.0
000476418 006__ m\\\\\o\\d\\\\\\\\
000476418 007__ cr\cn|||||||||
000476418 008__ 100111s2010\\\\dcu\\\o\o\\\\\001\0\eng\d
000476418 010__ $$z  2010920423
000476418 020__ $$z9781607500995 (hardcover)
000476418 020__ $$z9781607501008 (e-book)
000476418 035__ $$a(CaPaEBR)ebr10403989
000476418 035__ $$a(OCoLC)712992376
000476418 040__ $$aCaPaEBR$$cCaPaEBR
000476418 05014 $$aQA76.7$$b.L64eb
000476418 24500 $$aLogics and languages for reliability and security$$h[electronic resource] /$$c[edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.
000476418 260__ $$aWashington, D.C. :$$bIOS Press,$$c2010.
000476418 300__ $$aix, 325 p. :$$bill.
000476418 4901_ $$aNATO science for peace and security series. D, Information and communication security ;$$vv. 25
000476418 500__ $$aIncludes indexes.
000476418 506__ $$aAccess limited to authorized users.
000476418 650_0 $$aProgramming languages (Electronic computers)
000476418 650_0 $$aLanguages, Artificial.
000476418 650_0 $$aComputers$$xReliability.
000476418 650_0 $$aComputer security.
000476418 7001_ $$aEsparza, Javier.
000476418 7001_ $$aSpanfelner, Bernd.
000476418 7001_ $$aGrumberg, Orna.
000476418 7102_ $$aTechnische Universität München (Germany)
000476418 7102_ $$aTECHNION.$$bIsrael Institute of Technology (Israel)
000476418 830_0 $$aNATO science for peace and security series.$$nSub-series D,$$pInformation and communication security ;$$vv. 25.
000476418 852__ $$bebk
000476418 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10403989$$zOnline Access
000476418 909CO $$ooai:library.usi.edu:476418$$pGLOBAL_SET
000476418 980__ $$aEBOOK
000476418 980__ $$aBIB
000476418 982__ $$aEbook
000476418 983__ $$aOnline