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

| |

Type	Book
ชื่อเรื่อง	การวิเคราะห์มิวเทชันแบบหลายข้อผิดพลาดสำหรับข้อกำหนดรูปนัยแบบสัญกรณ์เซด / วรวิทย์ จิตรงค์ = Multiple-fault mutation analysis for formal specification in z notation / Vorawit Jitrong
ผู้แต่ง	วรวิทย์ จิตรงค์
พิมพลักษณ์	2549
รูปเล่ม	ง-ญ, 78 แผ่น
หัวเรื่อง	Formal languages
	Computer software --Development []
	Computer software --Testing []
	Formal methods {u202a} (Computer science){u202c}
	ซอฟต์แวร์ --การทดสอบ []
	ซอฟต์แวร์ --การพัฒนา []
	ภาษารูปนัย
	วิธีรูปนัย (วิทยาการคอมพิวเตอร์)

1	จุฬาลงกรณ์มหาวิทยาลัย 254 ถนนพญาไท แขวงวังใหม่ เขตปทุมวัน กรุงเทพมหานคร 10330 Loading items...