| LDR | 00661nam ac200241 k 4500 | |
|---|---|---|
| 001 | 000000170694 | |
| 005 | 20140819185324 | |
| 007 | ta | |
| 008 | 051209s2005 ulka 000a kor | |
| 020 | ▼a 8909111925 | |
| 040 | ▼a 247004 | |
| 049 | ▼l M0311840 ▼l M0311841 ▼c C2 | |
| 056 | ▼a 004 | |
| 090 | ▼a 004 ▼b L213hㄱ | |
| 100 | ▼a Lam, William K. C. | |
| 245 | ▼a 하드웨어 설계기술/ ▼d William K. Lam 지음; ▼e 권오성 역. | |
| 246 | 19 | ▼a Hardware design verification : simulation and formal method-based approaches |
| 260 | ▼a 서울: ▼b 교학사, ▼c 2005. | |
| 300 | ▼a 559 p.: ▼b 삽화; ▼c 26 cm. | |
| 504 | ▼a 참고문헌 포함 | |
| 653 | ▼a 하드웨어 | |
| 700 | ▼a 권오성 | |
| 950 | ▼b \27000 |