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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal approaches to software testing [electronic resource] : Third International Workshop on Form...
ชื่อผู้แต่ง	Fates 2003 (2003 : Montreal, Quebec)
พิมพลักษณ์	Berlin ; New York : Springer-Verlag, c2004.
เลขเรียก	QA76.9.F67 F52 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods for components and objects [electronic resource] : third international symposium, FMC...
พิมพลักษณ์	Berlin ; New York : Springer, 2005.
เลขเรียก	QA76.9.F67 F53 2005eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal Methods in human - computer interaction / Michael, Harrison.
ชื่อผู้แต่ง	Harrison, Michael.
พิมพลักษณ์	Cambridge : Cambridge University Press , 2009.
เลขเรียก	004.019 H315
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลศรีวิชัย

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Forms/Format 2010 [electronic resource] : formal methods for automation and safety in railway and au...
พิมพลักษณ์	Berlin ; Heidelberg ; New York : Springer, [2011].
เลขเรียก	TA1005 F67 2011eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Integrated formal methods [electronic resource] : 4th international conference, IFM 2004, Canterbu...
ชื่อผู้แต่ง	International conference on integrated formal methods (4th : 2004 : Canterbury, England)
พิมพลักษณ์	New York, NY : Springer-Verlag Berlin Heidelberg, 2004.
เลขเรียก	QA76.9.F67 I58 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

6

ประเภทสื่อ	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

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