สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

| |

Type	Book
ชื่อเรื่อง	Communicating embedded systems : software and design : formal methods / edited by Claude Jard, Olivier H. Roux
ISBN	1848211430
	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...