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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.
ชื่อผู้แต่ง	Harel, David.
พิมพลักษณ์	New Delhi / Prentice Hall, 2007 c2000.
เลขเรียก	QA76.9.L63 H256d 2000
ห้องสมุด	มหาวิทยาลัยนเรศวร

2

ประเภทสื่อ	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 มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลรัตนโกสินทร์ มหาวิทยาลัยนเรศวร

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Software specification methods : an overview using a case study / Marc Frappier and Henri Habrias (e...
พิมพลักษณ์	London ; New York : Springer, c2001.
เลขเรียก	QA76.9.F67 S681 2001
ห้องสมุด	มหาวิทยาลัยนเรศวร

1

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