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

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

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

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

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods applied to industrial complex systems [electronic resource] / edited by Jean-Louis Bo...
พิมพลักษณ์	Hoboken, New Jersey : Wiley, 2014.
เลขเรียก	QA76.9.F6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan M...
พิมพลักษณ์	Hoboken, NJ : John Wiley, 2008.
เลขเรียก	QA76.54 M62 2008,004.0151 M691
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Process algebra for parallel and distributed processing [electronic resource] / edited by Michael Al...
พิมพลักษณ์	Boca Raton : CRC Press, c2009.
เลขเรียก	QA76.58,004.35 Pr963P
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยมหาสารคาม มหาวิทยาลัยอุบลราชธานี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Software development with Z : a practical approach to formal methods in software engineering / J...
ชื่อผู้แต่ง	Wordsworth, J. b.
พิมพลักษณ์	Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., 1992.
เลขเรียก	QA76.73.Z2 W67 1992,005.262 W925S
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลรัตนโกสินทร์ ..more มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลรัตนโกสินทร์ มหาวิทยาลัยนเรศวร

1

ส่งข้อเสนอแนะ/ปัญหา