000			01605nam a2200289 a 4500
001			825765
007			tz
008			250817s2017 xxum a00010 eng d
020			_a9780262533812
020			_a2016039490
049			_aPIMLIB
050			_aTK7895.E42 _b.L445I
100	1		_aLee, Edward A. _952340
245	1	0	_aIntroduction to embedded systems : _ba cyber-physical systems approach / _cEdward A. Lee and Sanjit Arunkumar Seshia.
250			_a2nd ed.
260			_aCambridge : _bMIT Press, _cc2017. _952341
300			_a537 p. : _bill. ; _c24 cm.
449			_aNew Arrivals-Aug.2017
505	0		_aIntroduction -- I. Modeling Dynamic Behaviors -- Continuous Dynamics -- Discrete Dynamics -- Hybrid Systems -- Composition of State Machines -- Concurrent Models of Computation -- II. Design of Embedded Systems -- Sensors and Actuators -- Embedded Processors -- Memory Architectures -- Input and Output -- Multitasking -- Scheduling -- III. Analysis and Verification -- Invariants and Temporal Logic -- Equivalence and Refinement -- Reachability Analysis and Model Checking -- Quantitative Analysis -- Security and Privacy -- IV. Appendices -- Sets and Functions -- Complexity and Computability.
650		0	_aEmbedded computer systems. _947101
690			_a0025 วิศวกรรมศาสตรบัณฑิต สาขาวิชาวิศวกรรมหุ่นยนต์และระบบอัตโนมัติ RAE (ป.ตรี) _947392
700	1		_aSeshia, Sanjit A. _952342
942			_cBK
988			_c825765
998			_asiriporn
999			_c825765 _d825765