| Type |  Book |
| ชื่อเรื่อง | การทวนสอบเชิงฟังก์ชันสำหรับแบบจำลองประกอบของการออกแบบบนพื้นฐานของกระแสด้วยภาวะนามธรรมประวัติ / นนทศักดิ์ จันทร์ชุม = Functional verification for composite model of stream-based design on history abstraction / Nontasak Janchum |
| ผู้แต่ง | นนทศักดิ์ จันทร์ชุม |
| พิมพลักษณ์ | 2551 |
| รูปเล่ม | ก-ฑ, 128 แผ่น : ภาพประกอบ |
| หัวเรื่อง | Algebra, Abstract |
| | Mathematical models |
| | แบบจำลองทางคณิตศาสตร์ |
| | พีชคณิตนามธรรม |