book cover
Type Book
ชื่อเรื่องCommunicating embedded systems : software and design : formal methods / edited by Claude Jard, Olivier H. Roux
ISBN1848211430
 9781848211438
 9781848211438 (hb.)
 9781848211438 (hbk.)
พิมพลักษณ์London : ISTE, c2010
 London : ISTE Ltd., 2010
รูปเล่มxii, 261 p : ill
หัวเรื่องComputer software
 Computer software --Development []
 Embedded computer systems
 Embedded computer systems --Design and construction []
 Embedded computer systems --Programming []
 Formal methods (Computer science)

1
 มหาวิทยาลัยศิลปากร

ตำบล สนามจันทร์ อำเภอเมือง จ.นครปฐม 73000

Loading items...

2
 มหาวิทยาลัยเกษตรศาสตร์

50 ถนนงามวงศ์วาน แขวงลาดยาว เขตจตุจักร กรุงเทพฯ 10900

Loading items...

3
 มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

126 ถนนประชาอุทิศ แขวงบางมด เขตทุ่งครุ กรุงเทพฯ 10140

Loading items...


© 2013-2019 UCTAL. All Rights Reserved.
สนับสนุนโดย สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา กระทรวงการอุดมศึกษา วิทยาศาสตร์ วิจัยและนวัตกรรม ThaiLIS | Power by สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา