000			01341nam a2200325 a 4500
001			ebr10661503
003			CaPaEBR
006			m u
007			cr cn|||||||||
008			121031s2013 njua sb 001 0 eng d
010			_z 2012953075
020			_z9781848214477
020			_z9781118569405 (e-book)
040			_aCaPaEBR _cCaPaEBR
035			_a(OCoLC)834551554
050	1	4	_aTK7895.E42 _bA53 2013eb
100	1		_aAndr�e, Etienne.
245	1	4	_aThe inverse method _h[electronic resource] : _bparametric verification of real-time embedded systems / _c�Etienne Andr�e, Romain Soulat.
260			_aHoboken, N.J. : _bISTE Ltd./John Wiley and Sons Inc., _c2013.
300			_axviii, 150 p. : _bill.
490	0		_aFocus series in computer engineering and IT, _x2051-2481
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.
650		0	_aReal-time data processing.
655		7	_aElectronic books. _2local
700	1		_aSoulat, Romain.
710	2		_aebrary, Inc.
856	4	0	_uhttp://site.ebrary.com/lib/rucke/Doc?id=10661503 _zAn electronic book accessible through the World Wide Web; click to view
999			_c66808 _d66808