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

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

Select Page | Deselect Page |

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic and specifiction : extending VDM-SL for advanced formal specification / Cornelis A. Middelbu...
ชื่อผู้แต่ง	Middelburg, Cornelis a.
พิมพลักษณ์	London ; New York : Chapman & Hall, 1993.
เลขเรียก	QA76.7 M53 1993
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

ประเภทสื่อ	Book
ชื่อเรื่อง	The logic of partial information / Areski Nait Abdallah.
ชื่อผู้แต่ง	Nait abdallah, Areski 1950-.
พิมพลักษณ์	Berlin ; New York : Springer, c1995.
เลขเรียก	QA76.7 N35 1995
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์