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

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

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

4

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

1

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