語系
Yahav, Eran.
概要
作品: | 2 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Hardware and software: Verification and Testing = 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : proceedings /
by:
Yahav, Eran.; SpringerLink (Online service)
(書目-電子資源)