000			01531nam a2200373 a 4500
001			ebr10658441
003			CaPaEBR
006			m u
007			cr cn|||||||||
008			090709s2010 enka sb 001 0 eng d
010			_z 2009026282
020			_z9781848211438
020			_z9781118600122 (e-book)
040			_aCaPaEBR _cCaPaEBR
035			_a(OCoLC)842860162
041	1		_aeng _hfre
050	1	4	_aTK7895.E42 _bA387 2010eb
082	0	4	_a621.39/2 _222
130	0		_aApproches formelles des syst�emes embarqu�es communicants. _lEnglish.
245	1	0	_aCommunicating embedded systems _h[electronic resource] : _bsoftware and design : formal methods / _cedited by Claude Jard, Olivier H. Roux.
260			_aLondon : _bISTE ; _aHoboken, N.J. : _bWiley, _c2010.
300			_axii, 261 p. : _bill.
504			_aIncludes bibliographical references and index.
533			_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2013. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries.
650		0	_aEmbedded computer systems _xProgramming.
650		0	_aEmbedded computer systems _xDesign and construction.
650		0	_aComputer software _xDevelopment.
650		0	_aFormal methods (Computer science)
655		7	_aElectronic books. _2local
700	1		_aJard, Claude.
700	1		_aRoux, Olivier H.
710	2		_aebrary, Inc.
856	4	0	_uhttp://site.ebrary.com/lib/rucke/Doc?id=10658441 _zAn electronic book accessible through the World Wide Web; click to view
999			_c65368 _d65368