Lerner, Sorin.
概要
| 作品: | 35 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
High-level verificationmethods and tools for verification of system-level designs /
by:
Gupta, Rajesh K.; Kundu, Sudipta.; Lerner, Sorin.; SpringerLink (Online service)
(書目-電子資源)