ฐานข้อมูลวิทยานิพนธ์อิเล็กทรอนิกส์ (e-Theses)

สืบค้นเอกสารฉบับเต็ม (Full Text) จากวิทยานิพนธ์ (Theses) และการศึกษาค้นคว้าอิสระ (Independent Study) ของมหาวิทยาลัยเชียงใหม่

CMU e-Theses : Search

รายละเอียด

รายละเอียด
ผู้แต่ง สุดารณี จันทรมานนท์
ชื่อเรื่อง การทวนสอบอย่างเป็นแบบแผนของข้อกำหนดที่เขียนด้วยตัวแบบการคำนวณของเหตุการณ์ไม่ต่อเนื่อง = Formal verification of specification written by discrete event calculus model
หัวเรื่อง ข้อกำหนด;การคำนวณ
จำนวนหน้า ก-ณ, [35] แผ่น : ภาพประกอบ, ตาราง
พิมพลักษณ เชียงใหม่ : บัณฑิตวิทยาลัย มหาวิทยาลัยเชียงใหม่, 2549
ผู้แต่งร่วม มหาวิทยาลัยเชียงใหม่. บัณฑิตวิทยาลัย;มหาวิทยาลัยเชียงใหม่. สาขาวิชาวิทยาการคอมพิวเตอร์
โน้ต การค้นคว้าแบบอิสระ (วิทยาศาสตรมหาบัณฑิต (สาขาวิชาวิทยาการคอมพิวเตอร์)) -- มหาวิทยาลัยเชียงใหม่;บรรณานุกรม: แผ่น [33]-34
ภาษา ไทย
ปีการศึกษา 2549