01531nam a2200373 a 4500001001200000003000800012006001900020007001500039008004100054010001700095020001800112020002700130040002100157035002100178041001300199050002800212082001700240130007700257245014100334260005300475300002400528504005100552533015200603650004400755650005600799650003600855650003800891655002900929700001800958700002100976710001700997856012601014999001701140ebr10658441CaPaEBRm        u        cr cn|||||||||090709s2010    enka    sb    001 0 eng d  z  2009026282  z9781848211438  z9781118600122 (e-book)  aCaPaEBRcCaPaEBR  a(OCoLC)8428601621 aenghfre14aTK7895.E42bA387 2010eb04a621.39/22220 aApproches formelles des syst�emes embarqu�es communicants.lEnglish.10aCommunicating embedded systemsh[electronic resource] :bsoftware and design : formal methods /cedited by Claude Jard, Olivier H. Roux.  aLondon :bISTE ;aHoboken, N.J. :bWiley,c2010.  axii, 261 p. :bill.  aIncludes bibliographical references and index.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2013.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aEmbedded computer systemsxProgramming. 0aEmbedded computer systemsxDesign and construction. 0aComputer softwarexDevelopment. 0aFormal methods (Computer science) 7aElectronic books.2local1 aJard, Claude.1 aRoux, Olivier H.2 aebrary, Inc.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10658441zAn electronic book accessible through the World Wide Web; click to view  c65368d65368