| Type |  Book |
| ชื่อเรื่อง | การทวนสอบรูปนัยในระดับถ่ายโอนเรจิสเตอร์ของหน่วยประมวลผล โดยการตรวจสอบแบบจำลองเชิงสัญลักษณ์ / ประพนธ์ บวรภราดร = Formal verification at a register transfer level of a processor by symbolic model checking / Prapon Bavonparadon |
| ผู้แต่ง | ประพนธ์ บวรภราดร |
| ISBN | 9741715374 |
| พิมพลักษณ์ | 2545 |
| รูปเล่ม | ก-ฏ, 125 แผ่น : ภาพประกอบ, แผนภูมิ |
| หัวเรื่อง | คอมพิวเตอร์ --การทดสอบ [] |
| | ระบบคอมพิวเตอร์ --การทวนสอบ [] |