The inverse method parametric verification of real-time embedded systems /

Saved in:

書目詳細資料
主要作者:	André, Etienne
企業作者:	ebrary, Inc
其他作者:	Soulat, Romain
格式:	電子電子書
語言:	英语
出版:	Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc., 2013.
叢編:	Focus series in computer engineering and IT,
主題:	Embedded computer systems. Real-time data processing. Electronic books.
在線閱讀:	An electronic book accessible through the World Wide Web; click to view
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

MARC


LEADER	00000nam a2200000 a 4500
001	0000164371
005	20171002063212.0
006	m u
007	cr cn\|\|\|\|\|\|\|\|\|
008	121031s2013 njua sb 001 0 eng d
010			\|z 2012953075
020			\|z 9781848214477
020			\|z 9781118569405 (e-book)
035			\|a (CaPaEBR)ebr10661503
035			\|a (OCoLC)834551554
040			\|a CaPaEBR \|c CaPaEBR
050	1	4	\|a TK7895.E42 \|b A53 2013eb
100	1		\|a André, Etienne.
245	1	4	\|a The inverse method \|h [electronic resource] : \|b parametric verification of real-time embedded systems / \|c Étienne André, Romain Soulat.
260			\|a Hoboken, N.J. : \|b ISTE Ltd./John Wiley and Sons Inc., \|c 2013.
300			\|a xviii, 150 p. : \|b ill.
490	0		\|a Focus series in computer engineering and IT, \|x 2051-2481
504			\|a Includes bibliographical references and index.
533			\|a Electronic reproduction. \|b Palo Alto, Calif. : \|c ebrary, \|d 2013. \|n Available via World Wide Web. \|n Access may be limited to ebrary affiliated libraries.
650		0	\|a Embedded computer systems.
650		0	\|a Real-time data processing.
655		7	\|a Electronic books. \|2 local
700	1		\|a Soulat, Romain.
710	2		\|a ebrary, Inc.
856	4	0	\|u http://site.ebrary.com/lib/daystar/Doc?id=10661503 \|z An electronic book accessible through the World Wide Web; click to view
908			\|a 170314
942	0	0	\|c EB
999			\|c 153517 \|d 153517