000719342 000__ 01443cam\a2200373\a\4500
000719342 001__ 719342
000719342 005__ 20210515102913.0
000719342 006__ m\\\\\o\\d\\\\\\\\
000719342 007__ cr\cn\nnnunnun
000719342 008__ 090709s2010\\\\enka\\\\ob\\\\001\0\eng\d
000719342 010__ $$z  2009026282
000719342 020__ $$z9781848211438
000719342 020__ $$a9781118600122$$qelectronic book
000719342 035__ $$a(CaPaEBR)ebr10658441
000719342 035__ $$a(OCoLC)842860162
000719342 040__ $$aCaPaEBR$$cCaPaEBR
000719342 0411_ $$aeng$$hfre
000719342 05014 $$aTK7895.E42$$bA387 2010eb
000719342 08204 $$a621.39/2$$222
000719342 1300_ $$aApproches formelles des systèmes embarqués communicants.$$lEnglish.
000719342 24510 $$aCommunicating embedded systems$$h[electronic resource] :$$bsoftware and design : formal methods /$$cedited by Claude Jard, Olivier H. Roux.
000719342 260__ $$aLondon :$$bISTE ;$$aHoboken, N.J. :$$bWiley,$$c2010.
000719342 300__ $$axii, 261 p. :$$bill.
000719342 504__ $$aIncludes bibliographical references and index.
000719342 506__ $$aAccess limited to authorized users.
000719342 650_0 $$aEmbedded computer systems$$xProgramming.
000719342 650_0 $$aEmbedded computer systems$$xDesign and construction.
000719342 650_0 $$aComputer software$$xDevelopment.
000719342 650_0 $$aFormal methods (Computer science)
000719342 7001_ $$aJard, Claude.
000719342 7001_ $$aRoux, Olivier H.
000719342 852__ $$bebk
000719342 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10658441$$zOnline Access
000719342 909CO $$ooai:library.usi.edu:719342$$pGLOBAL_SET
000719342 980__ $$aEBOOK
000719342 980__ $$aBIB
000719342 982__ $$aEbook
000719342 983__ $$aOnline