載入...
Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings /
格式: | Printed Book |
---|---|
語言: | English |
出版: |
Berlin:
Springer,
2002.
|
版: | 1st ed. |
主題: |
Kannur University
索引號: |
620.004 202 85 FO |
---|---|
復印件 | Live Status Unavailable |