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

Found: 2 ชื่อเรื่อง เรียงลำดับโดย: แสดง: ต่อหน้า

Select Page | Deselect Page |

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods applied to complex systems [electronic resource] : implementation of the B Method / e...
พิมพลักษณ์	Hoboken, New Jersey : Wiley, 2014.
เลขเรียก	QA76.9.B22
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา

ประเภทสื่อ	Book
ชื่อเรื่อง	Modeling in Event-B : system and software engineering / Jean-Raymond Abrial
ชื่อผู้แต่ง	Abrial, Jean-Raymond
พิมพลักษณ์	Cambridge : Cambridge University Press, c2010
เลขเรียก	QA76.9.F67 ABR 2010
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี